-
sml-util
A handful of potentially useful crap for Standard ML
Standard ML ★ 21 8y agoExplain → -
LazyK
Updated LazyK source distribution
Scheme ★ 19 7mo agoExplain → -
typecoin
Typecoin: Massively Multiplayer Online Linear Logic
Standard ML ★ 18 9y agoExplain → -
rmc-compiler
Implementation of RMC atomics for C/C++
C++ ★ 10 4y agoExplain → -
advent-of-code
my advent of code solutions
Python ★ 7 6mo agoExplain → -
godels-t
Formalization of a bunch of properties of Godel's System T in agda
Agda ★ 7 9y agoExplain → -
mypy-typemap ⑂
Prototype implementation of PEP 827 in mypy
Python ★ 4 29d agoExplain → -
typemap-test
Demo testing repo for PEP 827 prototypes
Python ★ 4 3mo agoExplain → -
he-man
Haskell Event Manager, Apropos Networking
TeX ★ 3 10y agoExplain → -
cmd-queue
A really dumb script for running a queue of commands
Python ★ 3 9y agoExplain → -
boundvariable
Mirror of 2006 ICFP source with some updates
Standard ML ★ 2 4y agoExplain → -
web-tetrinet
Browser-based tetrinet implementation
TypeScript ★ 2 8y agoExplain → -
nanochat ⑂
The best ChatGPT that $100 can buy.
Python ★ 1 3d agoExplain → -
istari ⑂
No description.
★ 1 2y agoExplain → -
parrot
No description.
JavaScript ★ 1 3y agoExplain → -
sully-lf
Implementation of LF using canonical forms
Standard ML ★ 1 4y agoExplain → -
avl-tree
intrusive avl trees in C
C ★ 1 9y agoExplain → -
userspace-rcu ⑂
This repo is a mirror of the official lttng-tools git found at git://git.lttng.org/userspace-rcu.git. liburcu is a LGPLv2.1 userspace RCU (read-copy-update) library. This data synchronization library provides read-side access which scales linearly with the number of cores.
C ★ 1 11y agoExplain → -
ollibot ⑂
An implementation of substructural intuitionistic logic focused on forward chaining
Standard ML ★ 1 12y agoExplain → -
bovik-papers
No description.
★ 1 14y agoExplain → -
unlambda-compilers
Several compilers for unlambda
Standard ML ★ 0 3d agoExplain → -
seal ⑂
No description.
★ 0 3d agoExplain → -
misc-slop
No description.
HTML ★ 0 1mo agoExplain → -
moons
Moon simulator for my RPG setting
JavaScript ★ 0 1mo agoExplain → -
v0-set-card-game-solver
No description.
TypeScript ★ 0 1mo agoExplain → -
ai-gateway-skills
No description.
Python ★ 0 2mo agoExplain → -
git-mg ⑂
A tool to facilitate working with very large git repos.
Go ★ 0 2mo agoExplain → -
Rowan441.github.io ⑂
My Portfolio / Online Resume
★ 0 2mo agoExplain → -
-vercel-services-test-vite-flask
???
Svelte ★ 0 2mo agoExplain → -
Lifeguard ⑂
Lifeguard is a static analyzer to detect Lazy Imports incompatibilities and ease the adoption overhead for Lazy Imports in Python
★ 0 1mo agoExplain → -
cpython ⑂
The Python programming language
Python ★ 0 2mo agoExplain → -
snocl ⑂
Space for a parser for a programmatic extension to TOML that nobody wanted or needed
Python ★ 0 2mo agoExplain → -
gisthost.github.io ⑂
No description.
HTML ★ 0 3mo agoExplain → -
latexrun ⑂
A 21st century LaTeX wrapper
Python ★ 0 1y agoExplain → -
xterm-query ⑂
utility to query the terminal
Rust ★ 0 1y agoExplain → -
terminal-light ⑂
Tells you whether the terminal is "dark" or "light"
Rust ★ 0 1y agoExplain → -
cython ⑂
The most widely used Python to C compiler
★ 0 1y agoExplain → -
libpg_query ⑂
C library for accessing the PostgreSQL parser outside of the server environment
★ 0 2y agoExplain → -
msgpack-postgres ⑂
MessagePack implementation for PostgreSQL / msgpack.org[PostgreSQL]
★ 0 4y agoExplain → -
picorv32 ⑂
PicoRV32 - A Size-Optimized RISC-V CPU
★ 0 5y agoExplain → -
riscv-asm-manual ⑂
RISC-V Assembly Programmer's Manual
★ 0 5y agoExplain → -
mypy_primer ⑂
Run mypy over millions of lines of code
★ 0 5y agoExplain → -
py-pgproto ⑂
Low-level IO utilities for PosgtreSQL drivers.
★ 0 5y agoExplain → -
black ⑂
The uncompromising Python code formatter
★ 0 6y agoExplain → -
python-modernize ⑂
Modernizes Python code for eventual Python 3 migration. Built on top of 2to3.
★ 0 7y agoExplain → -
riscv-formal ⑂
RISC-V Formal Verification Framework
★ 0 5y agoExplain → -
pyxl3 ⑂
A Python 3 extension for writing structured and reusable inline HTML.
Python ★ 0 6y agoExplain → -
mypy-PyCharm-plugin ⑂
A simple plugin that allows running mypy from PyCharm and navigate between errors
Java ★ 0 7y agoExplain → -
pyflakes ⑂
A simple program which checks Python source files for errors
Python ★ 0 6y agoExplain → -
peps ⑂
Python Enhancement Proposals
Python ★ 0 29d agoExplain → -
pyannotate ⑂
Auto-generate PEP-484 annotations
Python ★ 0 6y agoExplain → -
mypy_extensions ⑂
Extensions for mypy (separated out from mypy/extensions).
Python ★ 0 7y agoExplain → -
solvertools ⑂
Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.
JavaScript ★ 0 7y agoExplain → -
mypyc ⑂
Compiler from type annotated Python to C extensions
Python ★ 0 8y agoExplain → -
travis-testing
No description.
Shell ★ 0 7y agoExplain → -
zulip ⑂
Zulip server - powerful open source team chat
Python ★ 0 8y agoExplain → -
TailBot ⑂
simple irc bot to tail log files and send output to channel(s)
Python ★ 0 9y agoExplain → -
smoothie ⑂
Smoothie Charts: smooooooth JavaScript charts for realtime streaming data
JavaScript ★ 0 10y agoExplain → -
epicmix
No description.
★ 0 10y agoExplain → -
charlie-game
No description.
JavaScript ★ 0 10y agoExplain → -
folly ⑂
An open-source C++ library developed and used at Facebook.
C++ ★ 0 10y agoExplain → -
hhvm-third-party ⑂
All of the dependencies that hhvm needs which don't have nice packages
C ★ 0 11y agoExplain → -
rust ⑂
a safe, concurrent, practical language
Rust ★ 0 13y agoExplain → -
stilts ⑂
SML On Stilts
Standard ML ★ 0 12y agoExplain →
No repos match these filters.