breck7 / pldb

Related projects: ⓘ

• titzer / virgil
  A fast and lightweight native programming language
  ☆1,222Updated this week
• nota-lang / nota
  A document language for the browser
  ☆701Updated 2 months ago
• zesterer / tao
  A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…
  ☆1,089Updated 11 months ago
• austral / austral
  Systems language with linear types and capability-based security.
  ☆1,111Updated 2 months ago
• liam-ilan / crumb
  The Crumb Programming Language
  ☆416Updated last month
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆348Updated this week
• prathyvsh / pl-catalog
  A catalog of programming languages
  ☆763Updated 11 months ago
• chaos-lang / chaos
  The Chaos Programming Language
  ☆280Updated 2 years ago
• vrtbl / passerine
  A small extensible programming language designed for concise expression with little code.
  ☆1,038Updated last week
• jzimmerman / langcc
  langcc: A Next-Generation Compiler Compiler
  ☆1,726Updated last year
• jart / sectorlisp
  Bootstrapping LISP in a Boot Sector
  ☆1,262Updated last week
• thesephist / ink
  Ink is a minimal programming language inspired by modern JavaScript and Go, with functional style.
  ☆558Updated 3 years ago
• djanderson / aho
  A git implementation in awk
  ☆791Updated 2 years ago
• jgm / djot
  A light markup language
  ☆1,669Updated 3 weeks ago
• inko-lang / inko
  A language for building concurrent software with confidence
  ☆872Updated this week
• hush-shell / hush
  Hush is a unix shell based on the Lua programming language
  ☆651Updated 4 months ago
• scandum / blitsort
  Blitsort is an in-place stable adaptive rotate mergesort / quicksort.
  ☆700Updated last month
• jfecher / ante
  A safe, easy systems language
  ☆1,895Updated last month
• e-n-f / if-then-else
  !!Con West 2019 talk
  ☆349Updated 3 years ago
• pen-lang / pen
  The parallel, concurrent, and functional programming language for scalable software development
  ☆447Updated this week
• CatalaLang / catala
  Programming language for literate programming law specification
  ☆1,966Updated this week
• tenderlove / asmrepl
  A REPL for x86-64 assembly language
  ☆866Updated 2 years ago
• magmide / magmide
  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
  ☆811Updated 5 months ago
• refaktor / rye
  homoiconic dynamic programming language with some new ideas
  ☆407Updated this week
• losvedir / transit-lang-cmp
  Programming language comparison by reimplementing the same transit data app
  ☆425Updated 9 months ago
• breck7 / scroll
  Scroll is a language for scientists of all ages. Scroll includes a command line app that builds static blogs, websites, CSVs, text files,…
  ☆431Updated this week
• woodrush / lisp-in-life
  A Lisp interpreter implemented in Conway's Game of Life
  ☆451Updated 2 years ago
• jesseduffield / OK
  Welcome to the future of programming languages: OK?
  ☆527Updated last year
• LingDong- / wax
  A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀
  ☆780Updated 4 months ago
• ChessMax / awesome-programming-languages
  The list of awesome programming languages that you might be interested in.
  ☆611Updated 3 weeks ago