Dobiasd / programming-language-subreddits-and-their-choice-of-wordsView external linksLinks
How do the different communities talk?
☆824Jan 1, 2026Updated last month
Alternatives and similar repositories for programming-language-subreddits-and-their-choice-of-words
Users that are interested in programming-language-subreddits-and-their-choice-of-words are comparing it to the libraries listed below
Sorting:
- thoughts on programming☆1,586Jan 1, 2026Updated last month
- Firth is a functional, strongly dynamically-typed, concatenative stack-oriented programming language.☆29Apr 9, 2015Updated 10 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Aug 2, 2020Updated 5 years ago
- ☆10Jan 15, 2017Updated 9 years ago
- The common BODil Oriented Language☆313Apr 17, 2017Updated 8 years ago
- A playground for type theory implementations in Racket☆20Dec 2, 2015Updated 10 years ago
- ☆23Aug 30, 2017Updated 8 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Jan 14, 2017Updated 9 years ago
- ☆23Dec 6, 2017Updated 8 years ago
- Archived materials related to Homotopy Type Theory.☆12Apr 24, 2012Updated 13 years ago
- a programming language☆11Aug 19, 2020Updated 5 years ago
- The proof of undecidability of halting problem, using the model -- WHILE language.☆21May 27, 2020Updated 5 years ago
- ☆11May 18, 2016Updated 9 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Apr 29, 2016Updated 9 years ago
- A Modern Lisp for the Erlang VM☆473Jan 8, 2020Updated 6 years ago
- Random number generation☆15Apr 27, 2022Updated 3 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- My personal web site☆17Feb 5, 2026Updated last week
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 5 years ago
- Total functional programming (ESFP) literature☆187Feb 15, 2019Updated 7 years ago
- Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.☆3,691Nov 19, 2025Updated 2 months ago
- Wrap promises, never use .catch again☆25Jan 11, 2023Updated 3 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- Like async/await syntax for Promises in JS but for OCaml☆17Nov 14, 2018Updated 7 years ago
- Bash and Linux commands the easy way☆16Jul 3, 2016Updated 9 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Oct 7, 2018Updated 7 years ago
- A word that means "I Love You" in dinosaur.☆42May 23, 2015Updated 10 years ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,626Jul 31, 2022Updated 3 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Jun 18, 2021Updated 4 years ago
- 👨🏫 Educational purpose virtual machine to assembly Neander and Neander+☆16Jan 18, 2019Updated 7 years ago
- scala JMX API☆31May 30, 2020Updated 5 years ago
- A general build tool for haskell projects inspired by leiningen☆16Jun 6, 2015Updated 10 years ago
- A *nix shell implemented in assembly - because why not?☆12Jul 25, 2016Updated 9 years ago
- Performance Testing framework aimed at automagically comparing performance tests and working inside Simple Build Tool☆33Jun 26, 2014Updated 11 years ago
- This repository moved to https://github.com/elm-community/graph☆16Feb 22, 2023Updated 2 years ago