hipparcos

followers

following

stars

Rent The Runway

Galway / Ireland

Adrien Aucher's starred repositories

th64

Tiny hash function in C

Language:CNOASSERTION12500

SDL2_gfx

Library containing 20+ graphics primitives (line, box, circle, polygon, etc.) for SDL2.

Language:CNOASSERTION900

cl-sdl2-gfx

Common Lisp Bindings to the SDL2_gfx library

Language:PythonCC0-1.0300

ChrysaLisp

Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...

Language:C++GPL-2.0160700

main-thread-scheduling

Fast and consistently responsive apps using a single function call

Language:TypeScriptMIT124600

chez-sdl

SDL 2 interface for chez-scheme.

Language:SchemeMIT3100

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Language:Common LispMIT107600

putting-the-you-in-cpu

A technical explainer by @kognise of how your computer runs programs, from start to finish.

Language:MDXMIT477200

kons-9

Common Lisp 3D Graphics Project

Language:Common LispMIT56100

snooze

Common Lisp RESTful web development

Language:Common Lisp20600

evil

The extensible vi layer for Emacs.

Language:Emacs LispGPL-3.0329900

hamt

A hash array-mapped trie implementation in C

Language:CMIT27300

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION285300

pg_tileserv

A very thin PostGIS-only tile server in Go. Takes in HTTP tile requests, executes SQL, returns MVT tiles.

Language:GoApache-2.082800

unix-in-lisp

Mount Unix system into Common Lisp image

Language:Common Lisp10000

jumpy

Tactical 2D shooter in fishy pixels style. Made with Rust-lang 🦀 and Bevy 🪶

Language:RustNOASSERTION160100

hausboot

Tiny C++ boot loader

Language:C++ISC8000

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaApache-2.01034400

ketos

Lisp dialect scripting and extension language for Rust programs

Language:RustApache-2.074900

vonuvoli-scheme

vonuvoli Scheme -- an R7RS interpreter written in Rust focused on systems programming and scripting (i.e. processes, file-system, etc.) with performance and safety in mind

Language:Rust16000

global-hiring

A list of companies hiring globally.

CC0-1.019400

st

C port of Ken Thompson's Space Travel

Language:C11600

djota

A Djot implementation in Prolog

Language:PrologBSD-3-Clause2100

doclog

DocLog builds documentation from source code in Prolog

Language:PrologBSD-3-Clause2200

tar.pl

tar creator+extractor in ~100 lines of prolog

Language:Prolog25400

SLT

SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.

Language:Common LispApache-2.019100

parrot

A cross-platform Common Lisp editor

Language:JavaScriptMIT4400

cl-community-spec

A Common Lisp specification, made from the original ANSI specification drafts

Language:HTMLMIT7600

axum

Ergonomic and modular web framework built with Tokio, Tower, and Hyper

Language:Rust1769600

lunatic

Lunatic is an Erlang-inspired runtime for WebAssembly

Language:RustApache-2.0457900