-
tiny
A terminal IRC client
Rust ★ 1.2k 3mo agoExplain → -
lexgen
A fully-featured lexer generator, implemented as a proc macro
Rust ★ 72 5mo agoExplain → -
language-lua
Lua parser and pretty-printer
Lua ★ 53 10y agoExplain → -
sg
A syntax-aware grep-like code search tool
Rust ★ 50 2y agoExplain → -
mincaml
A MinCaml compiler implemented in Rust
Rust ★ 47 3mo agoExplain → -
StrictCore
An experimental intermediate language for GHC
Haskell ★ 36 8y agoExplain → -
MANTI
A pure subset of Prolog, implemented in Haskell
Haskell ★ 31 13y agoExplain → -
h10
A Haskell 2010 type checker
Rust ★ 17 2y agoExplain → -
parsegen
An LR(1) parser generator, implemented as a proc macro
Rust ★ 16 3y agoExplain → -
Shen.hs
Shen implementation in Haskell
Haskell ★ 16 13y agoExplain → -
psc-lua
Lua backend for PureScript
Haskell ★ 14 12y agoExplain → -
rhex
A curses-based hex editor
Rust ★ 13 8y agoExplain → -
wasmrun
[WIP] A Wasm interpreter with debugging and inspection capabilities
Rust ★ 11 10mo agoExplain → -
Dextrack
A Garmin watch face with blood glucose monitoring
Monkey C ★ 11 1y agoExplain → -
how-to-parse
No description.
Rust ★ 9 1y agoExplain → -
rho-torrent
No description.
Haskell ★ 9 10y agoExplain → -
lsp_example
An actually minimal VSCode LSP extension demo
Rust ★ 8 2y agoExplain → -
tree-sitter-parse
A tool like tree-sitter-cli that can load parsers compiled to shared libraries
Rust ★ 7 5y agoExplain → -
CoreDump
No description.
Haskell ★ 7 10y agoExplain → -
privileged-concurrency
No description.
Haskell ★ 7 6y agoExplain → -
lcl
STL containers in Lua
C ★ 6 13y agoExplain → -
toylisp
my attempt to implement a [typed] Lisp-like language in Haskell
Haskell ★ 5 14y agoExplain → -
hsyslog-tcp
syslog over TCP
Haskell ★ 5 6y agoExplain → -
sc-plugin
No description.
Haskell ★ 5 10y agoExplain → -
typed-duration
Thread delay and timeout functions with typed arguments
Haskell ★ 5 9y agoExplain → -
rcbackup
Various rc and config files
Vim Script ★ 4 24d agoExplain → -
akow2
Extended/improved version of LD23 game, Another Kind of World
Lua ★ 4 14y agoExplain → -
minCaml.hs
No description.
Haskell ★ 4 11y agoExplain → -
synacor-challenge
My solution to the Synacor Challenge
Rust ★ 4 10y agoExplain → -
guru-rs
A gdb/rr GUI (this time in Rust)
Rust ★ 3 7y agoExplain → -
dolap-chat
No description.
Haskell ★ 3 14y agoExplain → -
ghc-utils
Various tools I use when working on GHC
Rust ★ 3 6y agoExplain → -
spec_bench
No description.
Haskell ★ 3 9y agoExplain → -
int-proj
No description.
OCaml ★ 3 11y agoExplain → -
cl-mustache
{{ Mustache }} for Common Lisp
Common Lisp ★ 2 14y agoExplain → -
k-CFA
Implementation of k-CFA control-flow analysis framework on a simple language
Haskell ★ 2 10y agoExplain → -
sicp-solutions
my solutions to exercises in `structure and interpretation of computer programs`
Scheme ★ 2 14y agoExplain → -
talks
Talks I gave, with tex sources and source code listings
TeX ★ 2 10y agoExplain → -
racket.rkt
An experimental compiler from a subset of [Typed] Racket to x86_64
Racket ★ 2 10y agoExplain → -
external-sort
An external sorting library
Haskell ★ 2 7y agoExplain → -
ptm
Testing out program transformation ideas
Haskell ★ 2 10y agoExplain → -
coq-in-hs
No description.
Haskell ★ 2 11y agoExplain → -
analyze-ghc-timings
No description.
Haskell ★ 2 10y agoExplain → -
nova
No description.
Haskell ★ 2 9y agoExplain → -
amele
a Python + PyQT script for linux to watch folders for changes and run commands on them
Python ★ 2 15y agoExplain → -
a-modular-module-system
An implementation of the paper "A modular module system"
Rust ★ 1 3mo agoExplain → -
libsync
An implementation of Haskell's MVars and Chans in C
C ★ 1 9y agoExplain → -
dartdoc ⑂
API documentation tool for Dart.
★ 1 3y agoExplain → -
json-tool ⑂
Dart Package with experimental JSON tools.
Dart ★ 1 10mo agoExplain → -
fixnum ⑂
Fixed-width integer library for Dart.
★ 1 2y agoExplain → -
typed_array_bench
SkeletalAnimation from Dart SDK benchmark suite
Dart ★ 1 2y agoExplain → -
characters ⑂
A package for characters represented as unicode extended grapheme clusters
★ 1 2y agoExplain → -
dart_stack_trace ⑂
A package for manipulating stack traces and printing them readably.
★ 1 1y agoExplain → -
devtools ⑂
Performance tools for Flutter
★ 1 1y agoExplain → -
sdk ⑂
The Dart SDK, including the VM, dart2js, core libraries, and more.
Dart ★ 1 3mo agoExplain → -
vector_math.dart ⑂
A vector math package for 2D and 3D applications
★ 1 1y agoExplain → -
sd
No description.
Rust ★ 1 10mo agoExplain → -
psc-lua-tests
No description.
PureScript ★ 1 12y agoExplain → -
supercompilation-by-evaluation ⑂
Supercompilation by Evaluation: archived for posterity. See http://github.com/batterseapower/chsc for the latest developments.
Haskell ★ 1 11y agoExplain → -
rust_ld_preload_example
Override libc malloc/free with Rust functions
Rust ★ 1 6y agoExplain → -
advent_of_code
My "Advent of Code" solutions, since 2015. Using a different language each year.
C ★ 1 8y agoExplain → -
noan
Pardus internship project
JavaScript ★ 1 15y agoExplain → -
array-fs
Filesystem-backed arrays
Haskell ★ 1 7y agoExplain → -
migration-test
Experimenting with database migrations
Haskell ★ 1 9y agoExplain → -
ktest.hs
No description.
Haskell ★ 1 12y agoExplain → -
lazycore
No description.
Haskell ★ 1 12y agoExplain → -
sqlite-ranger
No description.
Haskell ★ 1 12y agoExplain → -
RandomArt.hs
No description.
Haskell ★ 1 12y agoExplain → -
GenericInstsBenchmark
No description.
Haskell ★ 1 10y agoExplain → -
chsc
No description.
Haskell ★ 1 10y agoExplain → -
TemplateSpec
No description.
Haskell ★ 1 10y agoExplain → -
setops_bench
No description.
Haskell ★ 1 10y agoExplain → -
plugins
No description.
Haskell ★ 1 10y agoExplain → -
monotone-framework
No description.
Haskell ★ 1 9y agoExplain → -
streams
No description.
Haskell ★ 1 9y agoExplain → -
eff-playground
No description.
Haskell ★ 1 9y agoExplain → -
free-er
No description.
Haskell ★ 1 8y agoExplain → -
freer-logger
No description.
Haskell ★ 1 8y agoExplain → -
guru
A gdb/rr GUI
Haskell ★ 1 7y agoExplain → -
notlex
No description.
Rust ★ 1 9y agoExplain → -
StagedLambda
No description.
Coq ★ 1 12y agoExplain → -
dolap
No description.
JavaScript ★ 1 14y agoExplain → -
cob
No description.
JavaScript ★ 1 13y agoExplain → -
pygame-playground
Pygame saçmalamalarım
Python ★ 1 14y agoExplain → -
dolap-chat-client
frontend for dolap chat server
JavaScript ★ 1 14y agoExplain → -
Arsiv-duzenleyici
mp3, ogg ve flac dosyalarını id3 etiketlerine göre düzenleyip, albüm kapaklarını indiren basit bir program
Python ★ 1 15y agoExplain → -
llvm-project ⑂
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM ★ 0 1d agoExplain → -
flutter_engine ⑂
The Flutter engine
★ 0 1y agoExplain → -
Adv360-Pro-ZMK ⑂
Production repository for the all-new Advantage360 Professional using ZMK engine
Shell ★ 0 21d agoExplain → -
advantage360-config
No description.
★ 0 1mo agoExplain → -
osa1.github.com
No description.
JavaScript ★ 0 1mo agoExplain → -
oneml
An implementation of 1ML in Rust
Rust ★ 0 3mo agoExplain → -
netman
Yet another NetworkManager GUI (but this one actually works)
Rust ★ 0 4mo agoExplain → -
dracula-vim ⑂
🧛🏻♂️ Dark theme for Vim
★ 0 4mo agoExplain → -
golden-tests ⑂
A golden file testing library for rust
Rust ★ 0 1mo agoExplain → -
the_silver_searcher ⑂
A code-searching tool similar to ack, but faster.
C ★ 0 8mo agoExplain → -
proglangdesign.github.io ⑂
A website for the #proglangdesign community on freenode
★ 0 10mo agoExplain → -
talk-transcripts ⑂
Transcripts of Clojure-related talks
★ 0 1y agoExplain → -
pulldown-cmark ⑂
An efficient, reliable parser for CommonMark, a standard dialect of Markdown
★ 0 1y agoExplain → -
effekt ⑂
A language with lexical effect handlers and lightweight effect polymorphism
★ 0 1y agoExplain → -
flix-book ⑂
The Flix Programming Book
★ 0 1y agoExplain → -
zed ⑂
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Rust ★ 0 1y agoExplain → -
koka ⑂
Koka language compiler and interpreter
★ 0 1y agoExplain → -
gc ⑂
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
WebAssembly ★ 0 1y agoExplain → -
binaryen ⑂
Optimizer and compiler/toolchain library for WebAssembly
★ 0 3mo agoExplain → -
js-string-builtins ⑂
JS String Builtins
★ 0 2y agoExplain → -
glove80-zmk-config ⑂
This repo is the official configuration of the MoErgo Glove80 wireless split contoured keyboard. Use it to develop your own keymap and easily build your own ZMK firmware to run on your Glove80.
Nix ★ 0 2y agoExplain → -
notify-rust ⑂
☝️send desktop notifications from your Rust app.
★ 0 2y agoExplain → -
wasm-tools ⑂
Low level tooling for WebAssembly in Rust
Rust ★ 0 2y agoExplain → -
bgamari.github.com ⑂
No description.
★ 0 3y agoExplain → -
coc-rust-analyzer ⑂
rust-analyzer extension for coc.nvim
TypeScript ★ 0 3y agoExplain → -
i3-gnome ⑂
Use i3wm/i3-gaps with GNOME Session infrastructure.
★ 0 4y agoExplain → -
function-references ⑂
Proposal for Typed Function References
★ 0 3y agoExplain → -
exception-handling ⑂
Proposal to add exception handling to WebAssembly
★ 0 1y agoExplain → -
wasm_syntax
No description.
Rust ★ 0 3y agoExplain → -
lalrpop ⑂
LR(1) parser generator for Rust
Rust ★ 0 5d agoExplain → -
cargo-expand-tidy
No description.
Rust ★ 0 3y agoExplain → -
leb128_repl
No description.
Rust ★ 0 2y agoExplain → -
gl
No description.
Rust ★ 0 4y agoExplain → -
lexgen_rust
No description.
Rust ★ 0 2y agoExplain → -
gtk-test ⑂
Testing GTK UI
★ 0 4y agoExplain → -
gtk_key_test
No description.
Rust ★ 0 4y agoExplain → -
lexer_bench
No description.
Lua ★ 0 4y agoExplain → -
mmsim
No description.
Rust ★ 0 4y agoExplain → -
mmsim_2
No description.
Rust ★ 0 4y agoExplain → -
cargo-vendor-tools
No description.
Rust ★ 0 4y agoExplain → -
st
My fork of st
C ★ 0 5y agoExplain → -
wat
No description.
Rust ★ 0 5y agoExplain → -
wasm_test
No description.
Rust ★ 0 5y agoExplain → -
ai-intro
My solutions to the assignments of "B551 - Intro to AI" taught in Fall 2015 at Indiana University
Python ★ 0 10y agoExplain → -
utf8
UTF8 string library in C
C ★ 0 9y agoExplain → -
osdev
My solutions to the assignments of "P536 - Operating Systems" taught in Spring 2015 at Indiana University
C ★ 0 10y agoExplain → -
string-matching
KMP and Aho-Corasick implementations
Rust ★ 0 7y agoExplain → -
ghc ⑂
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list ([email protected])
Haskell ★ 0 6y agoExplain → -
mdviewer ⑂
Minimalistic Markdown viewer/converter with built-in Css stylesheets support.
Haskell ★ 0 8y agoExplain → -
dmenu
My fork of dmenu
C ★ 0 9y agoExplain → -
flow
No description.
Lua ★ 0 9y agoExplain → -
generics_bench
No description.
★ 0 10y agoExplain → -
CMakeTemplate
No description.
CMake ★ 0 10y agoExplain → -
prof-gui-demo
No description.
JavaScript ★ 0 12y agoExplain → -
compiler
No description.
OCaml ★ 0 13y agoExplain →
No repos match these filters.