Hypertypes - generic programming for heterogeneous recursive types
-
Updated
Jan 12, 2025 - Haskell
#
programming-languages
A programming language is a formal language that specifies a set of instructions that can be used to produce various kinds of output. Programming languages generally consist of instructions for computers. There are many programming languages in existence, and each has at least one implementation, each of which consists of its own set of programming tools. Some programming languages require computation to be specified in an imperative form (i.e., as a sequence of operations to perform) while other languages use the declarative form (i.e. the desired result is specified, not how to achieve it).
Here are 58 public repositories matching this topic...
Books on programming language theory and linguistics in general.
-
Updated
Jul 16, 2021 - Haskell
λλλλ Lennart Augustsson's λ-calculus cooked four ways
-
Updated
Apr 23, 2017 - Haskell
20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CYS) - ASC, CBE
-
Updated
Jun 16, 2024 - Haskell
Types and Programming Languages (TAPL)
-
Updated
Nov 29, 2020 - Haskell
Functional Quantum Programming
-
Updated
May 19, 2021 - Haskell
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
-
Updated
Jan 7, 2025 - Haskell
Fire Link es un lenguaje de programación basado en el lore de la serie de videojuegos Dark Souls, diseñado para la cadena de electivas de área Lenguajes de Programación II y III en la Universidad Simón Bolívar.
dark-souls programming-languages compilers hacktoberfest universidad-simon-bolivar usbve ci4722 ci4721
-
Updated
Oct 7, 2020 - Haskell
Lennart Augustsson's lamda cube
-
Updated
Jul 13, 2016 - Haskell
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
programming-language lambda haskell interpreter parsing types lambda-calculus language-learning programming-languages languages yield pair type-checking evaluation-scheme
-
Updated
May 8, 2017 - Haskell
Collection of machine problems from CS421-Programming Languages and Compilers
-
Updated
Sep 10, 2017 - Haskell
A small interpretter for the simply typed lambda calculus, with type inference
-
Updated
Oct 27, 2017 - Haskell
Interpreter for a functional programming language which supports lexical scoping, recursion and stores
-
Updated
Mar 22, 2020 - Haskell
Transpiles brainfuck code down to Half-Broken Car in Heavy Traffic (HBCHT)
-
Updated
Aug 18, 2020 - Haskell
Educational imperative statically typed programming language.
-
Updated
Aug 23, 2023 - Haskell
Exercises for EOPL in Haskell
-
Updated
Jul 18, 2024 - Haskell
Compiler for a subset of C written in Haskell
-
Updated
Dec 10, 2024 - Haskell
Compiler for the Zoria programming language
-
Updated
Aug 31, 2020 - Haskell
A lambda calculus REPL
-
Updated
Jun 17, 2017 - Haskell
Optimizing compiler for brainfuck
programming-language haskell compiler brainfuck transpiler programming-languages compilers toy-project
-
Updated
Feb 12, 2020 - Haskell
- Followers
- 458 followers
- Wikipedia
- Wikipedia