Make

niftyrossjones/nifty

Helper script for setting up boilerplate when writing Elixir NIFs (Native Implemented Functions).

Simple Linux kernel module examplespytheman/simple_kernel_module_in_v

An example of writing a simple Linux kernel module using the V programming language.

dino-gbrnegron/dino-gb

A Nintendo Game Boy port of Google Chrome's offline Dino game, playable on original hardware or emulators.

jftekwarjonof/jftekwar

A modern source port of the classic 1995 DOS game William Shatner's TekWar, enabling play on contemporary operating systems.

runnerNaheel-Azawy/runner

A universal script runner that executes code in over 20 programming languages directly from the command line.

cl-freelockItsMeForLua/cl-freelock

A lock-free concurrent data structures library for Common Lisp, offering thread-safe queues optimized for multi-core performance.

Starter for Scala NativeGnaneshKunal/scala-native-starter

A starter template for Scala Native projects with build configuration and linking examples.

XPMCKbazzinotti/XPMCK

A cross-platform music compiler kit for retro video game systems using MML (Music Macro Language).

jfwhavenjonof/jfwhaven

A modern source port of the classic DOS game Witchaven, enabling play on contemporary operating systems.

vecanachrocomputer/vec

C-based vector graphics software that generates HPGL output to drive pen plotters.

jsoncatpantuza/jsoncat

A command-line JSON pretty-printer and parser based on a recursive lexical analyzer.

aws-elasticache-cluster-client-libmemcachedawslabs/aws-elasticache-cluster-client-libmemcached

Libmemcached library with support for Amazon ElastiCache Memcached Cluster's Auto Discovery feature for PHP applications.

ALEAcoq-community/alea

A Coq library for formal verification of randomized algorithms using a monadic probability distribution interpretation.

Infinitygb-archive/infinity-gbc

An incomplete role-playing game for the Game Boy Color, developed between 1999 and 2001 and released as an alpha/preview.

Coinductiondamien-pous/coinduction

A Coq library providing enhanced coinductive proof methods based on the 'companion' concept from coinduction theory.

RR4JKartikvk1996/RR4J

A Java tool that records program execution and enables local replay for debugging sporadic or system-dependent bugs.

Coqobancoq-community/coqoban

A Coq implementation of Sokoban, the Japanese warehouse keeper puzzle game.

Bignumscoq/bignums

A Coq library providing arbitrarily large integer and rational numbers (BigN, BigZ, BigQ) for formal verification.

riot-ros2astralien3000/riot-ros2

Enables ROS2 to run on microcontrollers using the RIOT Operating System and the NDN protocol.

graphql_parsergraphql-elixir/graphql_parser

Elixir binding for libgraphqlparser that parses GraphQL queries into AST via NIF.

ql-to-debdimitri/ql-to-deb

Automates updating Debian packages of Common Lisp libraries from Quicklisp releases.

tpp1TwitchPlaysPokemon/tpp1

Specification for a custom Game Boy/Game Boy Color cartridge mapper with configurable ROM, RAM, RTC, and rumble support.

polarbearCue/polarbear

A JVMTI-based tool that logs detailed heap and thread information when Java applications encounter OutOfMemoryError.

Ptakovinaberk76/tetris

A classic Tetris game implemented with ASCII art graphics, supporting multiple legacy platforms.

Buzz-OSeylon-44/Buzz-OS

A hobby x86 32-bit operating system with a custom kernel, bootloader, device drivers, and C standard library for learning.

idreamidream-build/idream

A simple build system for Idris2 that manages multi-package projects and external dependencies.

cl-ojueigenhombre/cl-oju

A Common Lisp utility library providing Clojure-inspired sequence and functional programming idioms.

Snake-gbDonaldHays/snake-gb

A classic Snake game programmed for the original Game Boy hardware.

T2048thery/T2048

A formal verification of the 2048 game implemented in the Coq proof assistant.

discountasaaki/discount.ex

Elixir NIF binding for the discount Markdown parser, converting Markdown to HTML.

png2gbLuckyLights/png2gb

A command-line tool that converts PNG images to Game Boy C array format for use with GBDK.

vsetmulh8377/vset

A simple tool for setting up and managing consistent project structures for V programming language projects.

Gears VKjeffboody/gearsvk

A Vulkan port of the classic 'gears' demo using the VKK library, designed as a learning resource for graphics developers.

Sudokucoq-community/sudoku

A certified Sudoku solver implemented in Coq using a formalized Davis-Putnam procedure.

CertiGraphSalamari/CertiGraph

A Coq library for formal verification of graph-manipulating C programs, compatible with CompCert and VST.

etherscopestcarrez/etherscope

A real-time Ethernet traffic analyzer that runs on a STM32F746 microcontroller board with a touchscreen display.