Block or Report
Block or report vendethiel
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
A list of Lisp-flavored programming languages
Context sensitive completion for OCaml in Vim and Emacs
A language for building concurrent software with confidence
The Superior Lisp Interaction Mode for Emacs
Low-level UI infrastructure & framework for Pharo
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Compiler for the Vale programming language - http:https://vale.dev/
A friendly programming language from the future
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
The core OCaml system: compilers, runtime system, base libraries
A dependently-typed programming language with static memory management
jQuery's missing utils and special events
MetaCall: The ultimate polyglot programming experience.
Lean 4 programming language and theorem prover