-
-
-
bril Public
Forked from sampsyo/brilan educational compiler intermediate representation
Rust MIT License UpdatedApr 28, 2025 -
loop-printing-pass Public
Forked from sampsyo/llvm-pass-skeletonsimple LLVM pass
-
pl.cs.cornell.edu Public
Forked from cornell-pl/pl.cs.cornell.eduWebsite for PL@Cornell
HTML MIT License UpdatedFeb 25, 2025 -
-
elsa Public
Forked from ucsd-progsys/elsaElsa is a lambda calculus evaluator
Haskell MIT License UpdatedMay 6, 2024 -
cognitive-ai-benchmarking Public
Forked from cogtoolslab/cognitive-ai-benchmarkingcognitive-ai-benchmarking
JavaScript MIT License UpdatedJun 19, 2022 -
xtt Public
A simple implementation of XTT, "A cubical language for Bishop sets"
-
LC-interpreter Public
A compiler and runtime for normalizing the untyped λ-calculus
-
simple-lambda-prolog Public
A simple λProlog interpreter
-
elpi Public
Forked from LPCIC/elpiEmbeddable Lambda Prolog Interpreter
Prolog GNU Lesser General Public License v2.1 UpdatedNov 9, 2021 -
poly Public
A WIP compiler for a functional language. Very incomplete!
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJul 15, 2021 -
swipl-devel Public
Forked from SWI-Prolog/swipl-develMain development repository
C Other UpdatedApr 24, 2021 -
pipes-and-rust Public
Forked from AnyTimeTraveler/pipes-and-rustA small program that runs on your reMarkable 2 and reads the pen movements and paints them on a small website hosted on the tablet itself. No need to install anything else.
HTML MIT License UpdatedApr 18, 2021 -
sitting-solver Public
A work in progress! Sitting solver aspires to be a good SAT solver in the future.
-
learnxinyminutes-docs Public
Forked from adambard/learnxinyminutes-docsCode documentation written as code! How novel and totally my idea!
-
idris2-extras Public
Some extra utilities for programming in Idris 2.
-
-
lolli Public
The Linear Lambda Prolog interpreter, updated to compile with modern SMLNJ
Standard ML UpdatedDec 24, 2020 -
linear-base Public
Forked from tweag/linear-baseStandard library for linear types in Haskell.
Haskell MIT License UpdatedDec 16, 2020 -
-
-
intern Public
Forked from ekmett/internHash consing for arbitrary Haskell data types
Haskell Other UpdatedNov 30, 2020 -
zig Public
Forked from ziglang/zigGeneral-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Zig MIT License UpdatedNov 23, 2020 -
-
-
-
{{ message }}