irvise Goto Github PK

2019-20-lab-ao

Laboratorio de Arquitectura de Ordenadores.Procesador RISC-V de 32 bits

acsl-by-example

Public snapshots of "ACSL by Example"

acwj

A Compiler Writing Journey

ada-avr-test

ada-awa

Ada Web Application - Framework to build high performance secure web applications

ada-esp32-c6

Ada running on the ESP32-C6

ada-gba-dev

A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.

ada-lang-io

An Open Source Community site for Ada

ada_drivers_library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

ada_neorv32

Running Ada on NeoRV32 (soft-CPU written in VHDL) in a ULX3S

ada_saxonsoc

A first approach of getting a pure Ada program running on an FPGA with SaxonSOC

ada_scheme_example

Ada and Scheme (Chicken Scheme) interoperability

adaed

NYU Ada/Ed: the first Ada compiler to be validated on the IBM PC.

advent-2020

Advent of Code 2020 using R7RS-large in Guile

alice

Adventures for Learning and Inspiring Coding Excellence

alire-index

Community index for the Alire project

aoc-2023

My first try, lets see how it goes

apltail

APL Compiler targeting a typed array intermediate language

avr-eax-aes-bootloader

Bootloader for AVR microcontrollers featuring EAX mode encryption in 1024 bytes

awesome

A curated list of awesome projects

awesome-anime-sources

A curated list of everything anime.

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted locally. Selfhosting is the process of hosting and managing applications instead of renting from Software-as-a-Service providers

awesome-sysadmin

MOVED/ARCHIVED A curated list of amazingly awesome open source sysadmin resources.

bambu-tutorial

bbs-bbb-ada

A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi

bmc

My bespoke, multipurpose class; designed for general use in LaTeX documents.

build-your-own-x

🤓 Build your own (insert technology here)

business-cards-latex

Business cards template in latex. Duplex (doubleside) printable. Two languages (back/front) supported. Optimized to be easily extensible.

c4

C in four functions

cans

A code for fast, massively-parallel direct numerical simulations (DNS) of canonical flows