breck7 / pldb
PLDB: a Programming Language DataBase
☆747Updated this week
Alternatives and similar repositories for pldb:
Users that are interested in pldb are comparing it to the libraries listed below
- A document language for the browser☆703Updated 7 months ago
- homoiconic dynamic programming language with some new ideas☆519Updated this week
- A light markup language☆1,763Updated this week
- langcc: A Next-Generation Compiler Compiler☆1,722Updated 2 years ago
- A functional, content-addressable programming language.☆412Updated this week
- A safe, easy systems language☆1,937Updated this week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,106Updated last year
- The parallel, concurrent, and functional programming language for scalable software development☆453Updated this week
- ☆1,015Updated 2 years ago
- A VM That is Dynamic and Fast☆1,603Updated 3 months ago
- A small extensible programming language designed for concise expression with little code.☆1,065Updated 5 months ago
- tar creator+extractor in ~100 lines of prolog☆259Updated 2 years ago
- Systems language with linear types and capability-based security.☆1,167Updated 7 months ago
- A new, portable, regular expression language☆1,298Updated last month
- Programming language for literate programming law specification☆2,038Updated this week
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆467Updated 9 months ago
- A fast functional language based on two level type theory☆388Updated 2 years ago
- A Lisp interpreter implemented in Conway's Game of Life☆456Updated 3 years ago
- A git implementation in awk☆796Updated 3 years ago
- Compiler for the Vale programming language - http://vale.dev/☆1,839Updated 9 months ago
- The list of awesome programming languages that you might be interested in.☆666Updated last week
- A catalog of programming languages☆766Updated last year
- A fast and lightweight native programming language☆1,261Updated this week
- a tiny tile-based editor☆300Updated this week
- x86 C compiler written in untyped lambda calculus☆640Updated 2 years ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆815Updated 10 months ago
- An online IDE for visual programming in Prolog☆237Updated this week
- Hazel, a live functional programming environment with typed holes☆886Updated this week
- A curated list of examples of self-reference in art, science, and technology☆266Updated 4 months ago
- jq implementation of jq☆698Updated last month