ararslan
Follow
Stars
Context sensitive completion for OCaml in Vim and Emacs
The MaPLe compiler for efficient and scalable parallel functional programming
Fast, collaborative live terminal sharing over the web
A massively parallel, high-level programming language
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
A compact, efficient Prolog interpreter written in plain-old C.
Public domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
This is an online course where you can learn and master the skill of low-level performance analysis and tuning.
Generalized Estimating Equations (GEE) in Julia
A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration of human-computer interaction, and more.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Store files as YouTube videos == infinite disk space
LinguaCafe is a self-hosted software that helps language learners read foreign languages.
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
A statically typed Lisp like scripting programming language for Rust.
A curated list of awesome Scheme libraries and resources
The compiler and standard distribution for the C∀ programming language
Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., C…
💥💻💥 A data-parallel functional programming language
An ongoing attempt to re-engineer LuaJIT from scratch