Alternatives and similar repositories for Ende-readme

Users that are interested in Ende-readme are comparing it to the libraries listed below

• cruxlang / crux

  View on GitHub
  Crux Programming Language
  ☆53Aug 16, 2025Updated 5 months ago
• anson0910 / sodagreen_ticket

  View on GitHub
  Script to check ticketing system for remaining tickets
  ☆11Aug 7, 2016Updated 9 years ago
• NorfairKing / the-notes

  View on GitHub
  The Notes
  ☆12Jan 10, 2018Updated 8 years ago
• sweirich / trellys

  View on GitHub
  Automatically exported from code.google.com/p/trellys
  ☆47Jul 12, 2019Updated 6 years ago
• csabahruska / jhc-grin

  View on GitHub
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Dec 13, 2018Updated 7 years ago
• zenna / Arrows.jl

  View on GitHub
  ☆14Nov 5, 2019Updated 6 years ago
• ziman / ttstar

  View on GitHub
  Dependently typed core calculus with erasure
  ☆19Aug 31, 2021Updated 4 years ago
• staltz / jace

  View on GitHub
  just another compiler experiment
  ☆14Jan 11, 2017Updated 9 years ago
• lamdu / lamdu-calculus

  View on GitHub
  An extended typed Lambda Calculus
  ☆21Aug 5, 2024Updated last year
• sinelaw / fresh-lang

  View on GitHub
  ☆14Jan 12, 2018Updated 8 years ago
• ekmett / codebruijn

  View on GitHub
  experiments with pext/pdep and codebruijn syntax
  ☆17Nov 17, 2019Updated 6 years ago
• gmalecha / coq-interaction-trees

  View on GitHub
  Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.
  ☆18Jul 9, 2018Updated 7 years ago
• exercism / coq

  View on GitHub
  Exercism exercises in Coq.
  ☆19Nov 1, 2024Updated last year
• bobatkey / foveran

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• dalaing / type-systems

  View on GitHub
  ☆23Aug 30, 2017Updated 8 years ago
• atzeus / CTRex

  View on GitHub
  Open records for Haskell
  ☆22Oct 6, 2017Updated 8 years ago
• bsermons / flycheck-elm

  View on GitHub
  Flycheck support for the elm language
  ☆18Mar 30, 2020Updated 5 years ago
• TOTBWF / muprl

  View on GitHub
  A small NuPRL style proof assistant
  ☆31Jan 31, 2019Updated 7 years ago
• abid-mujtaba / haskell-cas

  View on GitHub
  A Computer Algebra System written in and for Haskell
  ☆26Jul 10, 2016Updated 9 years ago
• ekmett / rts

  View on GitHub
  spmd-on-simd stuff
  ☆27Aug 5, 2017Updated 8 years ago
• thufschmitt / tix

  View on GitHub
  [WIP] A type system for nix
  ☆63Jul 11, 2019Updated 6 years ago
• ilya-klyuchnikov / henk

  View on GitHub
  Pure Type Systems for Functional Programming
  ☆31Nov 21, 2020Updated 5 years ago
• MaskRay / CamlFeatherweight

  View on GitHub
  Bytecode compiler of a variant of Caml
  ☆34Jun 4, 2015Updated 10 years ago
• sfultong / stand-in-language

  View on GitHub
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Dec 18, 2025Updated last month
• fragnix / fragnix

  View on GitHub
  Fragment-based code distribution!
  ☆128May 12, 2021Updated 4 years ago
• pedrotst / coquedille

  View on GitHub
  A Coq to Cedille compiler written in Coq
  ☆34Sep 22, 2020Updated 5 years ago
• Denommus / react-react

  View on GitHub
  Integrating ReasonReact with Erratique's React!
  ☆36Dec 23, 2024Updated last year
• zudov / purescript-websocket-simple

  View on GitHub
  Simple Bindings to Websocket API for Purescript
  ☆34Feb 9, 2021Updated 5 years ago
• rahulmutt / codec-jvm

  View on GitHub
  JVM code generation
  ☆32Feb 1, 2019Updated 7 years ago
• snoyberg / classy-prelude

  View on GitHub
  A typeclass-based Prelude.
  ☆109Jul 4, 2016Updated 9 years ago
• ThomasCrevoisier / psvm-js

  View on GitHub
  ☆31Dec 3, 2022Updated 3 years ago
• sseefried / docker-epidemic-build-env

  View on GitHub
  A Dockerfile to build a development environment for Android version of Epidemic.
  ☆31Apr 24, 2016Updated 9 years ago
• jaredbranum / rbsh

  View on GitHub
  An interactive Ruby shell that can also be used as a Unix shell replacement
  ☆10May 16, 2011Updated 14 years ago
• om-mani-padme-hum / mysql-await

  View on GitHub
  Simple MySQL Async/Await Connection Pool
  ☆10Dec 8, 2022Updated 3 years ago
• abutnaru / untanglr

  View on GitHub
  Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.
  ☆14Sep 2, 2022Updated 3 years ago
• timholy / ComputationalResources.jl

  View on GitHub
  Julia package for selecting hardware, libraries, and algorithms for a computation
  ☆35Dec 13, 2020Updated 5 years ago
• kritzcreek / purescript-emmet

  View on GitHub
  Quick scaffolding for Halogen's HTML DSL
  ☆35Aug 28, 2021Updated 4 years ago
• jstolarek / why-dependent-types-matter

  View on GitHub
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Jun 14, 2018Updated 7 years ago
• pnwamk / datatype

  View on GitHub
  (Somewhat) Algebraic Data Types for Racket
  ☆34Jan 15, 2023Updated 3 years ago