anfelor
Follow
-
flambda-backend Public
Forked from ocaml-flambda/flambda-backendThe Flambda backend project for OCaml
OCaml Other UpdatedDec 6, 2024 -
ocamlformat Public
Forked from janestreet/ocamlformatAuto-formatter for OCaml code
OCaml MIT License UpdatedDec 3, 2024 -
-
gc-benchmarks Public
Forked from AndrasKovacs/gc-benchmarksgarbage collection benchmarks by Andras Kovacs
Haskell MIT License UpdatedMay 27, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMay 20, 2024 -
-
haskellfoundation.github.io Public
Forked from haskellfoundation/haskellfoundation.github.ioThe Haskell Foundation website, hosted by GitHub Pages.
Nix Other UpdatedJul 14, 2023 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedMay 14, 2023 -
ocaml-jst Public
Forked from ocaml-flambda/ocaml-jstOCaml plus Jane Street extensions
OCaml Other UpdatedSep 9, 2022 -
-
Naproche-SAD Public
Forked from Naproche-SAD/Naproche-SADDEPRECATED. The official repository is at naproche-community/naproche now
-
-
obelisk Public
Forked from obsidiansystems/obeliskFunctional reactive web and mobile applications, with batteries included.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2020 -
-
lean Public
Forked from leanprover-community/leanLean Theorem Prover
C++ Apache License 2.0 UpdatedApr 4, 2020 -
trainkata Public
See https://github.com/emilybache/KataTrainReservation
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 14, 2020 -
json_to_dart Public
Forked from javiercbk/json_to_dartLibrary that generates dart classes from json strings
Dart The Unlicense UpdatedNov 17, 2019 -
-
summer-of-haskell Public
Forked from haskell-org/summer-of-haskellSource code of summer.haskell.org
HTML Other UpdatedFeb 2, 2019 -
-
agda Public
Forked from algebraic-graphs/agdaThe theory of algebraic graphs formalised in Agda
Agda MIT License UpdatedMay 20, 2018 -
-
graph-benchmarks Public
Forked from haskell-perf/dictionariesBenchmarks for haskell graph data structures
Haskell UpdatedMar 27, 2018 -
gen-passwd Public
Generate a wordlist-based password easily
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 1, 2017 -
file-templates Public
Use templates for files and directories
-
dhall-check Public
Check all the .dh files in a directory against a given type signature
-
dhallow Public
The blogging system behind anfelor.github.io
-
-
elm-parts Public
Forked from debois/elm-partsElm library to reduce Elm Architecture boilerplate
Elm UpdatedAug 1, 2016 -