edwinb / idris-lang.org

Related projects: ⓘ

• janestreet / core_unix
  Unix-specific portions of Core
  ☆15Updated 3 weeks ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago
• unisonweb / unison-local-ui
  The Codebase UI that ships with UCM
  ☆14Updated 2 weeks ago
• fwcd / curry-language-server
  IDE support for the functional logic language Curry
  ☆26Updated last month
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆21Updated last year
• donsbot / experiments-rust
  Working through the Rust book
  ☆13Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• steinuil / the-little-ocamler
  The examples from "The Little MLer" in OCaml and ReasonML
  ☆30Updated 4 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆26Updated last year
• ocaml / ocamlfind
  The OCaml findlib library manager
  ☆27Updated last week
• ats-lang / ats-lang.github.io
  For hosting certain parts of http://www.ats-lang.org
  ☆25Updated last year
• cuddlefishie / toml-idr
  A TOML parser for Idris 2
  ☆15Updated 2 months ago
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆56Updated 7 months ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• mattpolzin / idv
  Idris Version Manager
  ☆14Updated 8 months ago
• racket / parser-tools
  ☆10Updated last month
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆26Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆17Updated 3 months ago
• ziman / idris2-mlf
  Malfunction backend for Idris 2
  ☆12Updated 2 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• idris-community / katla
  ☆19Updated last month
• ptigwe / hs2048
  A port of 2048 using Haskell and Miso
  ☆14Updated 6 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆23Updated last year
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆13Updated 3 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 6 years ago
• merle-lang / luml
  Luml is a type-inferred ML-style language that cross-compiles to Lua
  ☆15Updated 5 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆25Updated 2 years ago
• HigherOrderCO / hvmcc
  ☆13Updated this week
• xnning / Dissertation
  My PhD Thesis
  ☆14Updated 2 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 2 years ago