Alf0nso / GMP

Related projects ⓘ

Alternatives and complementary repositories for GMP

• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 3 months ago
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆26Updated last year
• matthunz / view-monad
  ☆23Updated 3 months ago
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆91Updated this week
• BartoszMilewski / LinearLens
  Linear lens
  ☆19Updated 8 months ago
• Psteven5 / Struct.hs
  C-struct like usage of records in Haskell
  ☆13Updated 3 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆71Updated 5 months ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆30Updated 4 months ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• devNegative-asm / TypeLisp
  Inspired by typelang, a lisp implemented in typescript's type engine
  ☆10Updated 2 months ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆23Updated this week
• marcosh / crem
  Compositional Representable Executable Machines
  ☆107Updated 2 weeks ago
• reubenharry / haskell-docs
  ☆59Updated 10 months ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• divarvel / haskle
  Source code for haskle.net
  ☆30Updated last year
• chshersh / pragmatic-category-theory
  Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
  ☆75Updated 2 months ago
• cdupont / Timeloop
  ☆40Updated last year
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆72Updated 3 months ago
• unisonweb / ui-core
  Shared design system and core components for Unison Local and Unison Share
  ☆23Updated last week
• jkoppel / ecta
  ☆33Updated 6 months ago
• Innf107 / polaris
  A functional programming language with shell scripting capabilities
  ☆91Updated 3 weeks ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆41Updated 9 months ago
• kiranandcode / ocamlot
  An Activitypub server in OCaml!
  ☆66Updated last year
• unisonweb / vscode-unison
  Official Unison extension for Visual Studio Code
  ☆23Updated 8 months ago
• matthunz / hoot
  Opinionated package manager for haskell (WIP)
  ☆17Updated last year
• brendanzab / ocaml-flake-example
  An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune
  ☆54Updated this week
• nh2 / haskell-jobs-statistics
  ☆37Updated last year
• isovector / functional-design-patterns
  could it be?
  ☆14Updated 3 months ago
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆76Updated 3 weeks ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆46Updated 4 months ago