vvvyz
Follow
-
-
-
-
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 10, 2023 -
theBeamBook Public
Forked from happi/theBeamBookA description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Erlang Creative Commons Attribution 4.0 International UpdatedMay 30, 2023 -
supercollider Public
Forked from supercollider/supercolliderAn audio server, programming language, and IDE for sound synthesis and algorithmic composition.
C++ GNU General Public License v3.0 UpdatedMay 21, 2023 -
awesome-compilers Public
Forked from aalhour/awesome-compilers😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
Other UpdatedApr 29, 2023 -
one-more-re-nightmare Public
Forked from telekons/one-more-re-nightmareA fast regular expression compiler in Common Lisp
Common Lisp BSD 2-Clause "Simplified" License UpdatedMar 26, 2023 -
Learn-WebAssembly Public
Forked from PacktPublishing/Learn-WebAssemblyLearn WebAssembly, published by Packt
JavaScript MIT License UpdatedMar 2, 2023 -
-
Mezzano Public
Forked from froggey/MezzanoAn operating system written in Common Lisp
Common Lisp MIT License UpdatedJan 29, 2023 -
-
challenge Public
Forked from sweirich/challengeStrongly-typed System F in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 18, 2022 -
-
-
wisp Public
Forked from mbrock/wispLisp in WebAssembly
Zig GNU Affero General Public License v3.0 UpdatedMay 6, 2022 -
beam-wisdoms Public
Forked from kvakvs/beam-wisdomsWiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).
MIT License UpdatedFeb 12, 2022 -
ceylon Public
Forked from eclipse-archived/ceylonThe Ceylon compiler, language module, and command line tools
Java Apache License 2.0 UpdatedFeb 11, 2022 -
Golang_Puzzlers Public
Forked from hyper0x/Golang_PuzzlersAn example project, for my column named "Core Golang - 36 lessons"
Go UpdatedOct 22, 2021 -
-
lsh Public
Forked from DexterLagan/lshA fully-featured lisp/scheme shell written in Racket.
Racket MIT License UpdatedApr 21, 2021 -
-
-
General Parser Combinators in Racket
HTML MIT License UpdatedSep 5, 2016 -
ikarus Public
Forked from wanghao1891/ikarusIkarus: A compiler for R6RS Scheme. It is the creation of Abdulaziz Ghuloum.
Scheme Other UpdatedOct 31, 2015 -
p423-compiler Public
Forked from keyz/p423-compilerA Scheme to x86-64 compiler in Scheme
Scheme UpdatedMay 4, 2015 -