-
-
ts-wolfram Public
Forked from coffeemug/ts-wolframA toy Wolfram language interpreter.
TypeScript UpdatedOct 27, 2024 -
-
aeson-diff Public
Forked from clintonmead/aeson-diffGenerate and apply diffs between JSON documents.
Haskell BSD 2-Clause "Simplified" License UpdatedMar 18, 2022 -
-
typesafe-react-router Public
Forked from AveroLLC/typesafe-react-routerUtility functions to help facilitate type-safe routing with react-router
TypeScript Apache License 2.0 UpdatedApr 12, 2021 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJan 13, 2021 -
downlords-faf-client Public
Forked from FAForever/downlords-faf-clientOfficial client for Forged Alliance Forever
Java MIT License UpdatedSep 14, 2020 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJul 1, 2020 -
-
idris-json-rpc Public
Forked from defanor/idris-json-rpcJSON-RPC 2.0 in Idris
Idris MIT License UpdatedJun 5, 2020 -
atom-language-idris Public
Forked from idris-hackers/atom-language-idrisA Idris Mode for Atom.io
CoffeeScript MIT License UpdatedMay 28, 2020 -
purescript-dotlang Public
Forked from csicar/purescript-dotlangDotLang datatypes for purescript
PureScript MIT License UpdatedApr 20, 2020 -
-
purescript Public
Forked from purescript/purescriptA small strongly typed language that compiles to Javascript
-
patat Public
Forked from jaspervdj/patatTerminal-based presentations using Pandoc
Haskell GNU General Public License v2.0 UpdatedSep 24, 2018 -
-
elm-pretty-print Public
Forked from vilterp/elm-pretty-printcombinators for pretty printing based on available width
Elm UpdatedApr 13, 2017 -
typescript-idris-ide Public
talk to idris via the idris IDE-protocol in typescript
TypeScript MIT License UpdatedJan 22, 2017 -
IdrisNet2 Public
Forked from SimonJF/IdrisNet2A proper network library for Idris, now that I know what I'm doing.
Idris MIT License UpdatedOct 25, 2016 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedOct 25, 2016 -
mmaclone Public
Forked from jyh1/mmacloneA simple Mathematica clone in Haskell
Haskell UpdatedOct 16, 2016 -
-
-
-
-
-
purescript-eulalie Public
Forked from bodil/purescript-eulalieString parser combinators for PureScript.
PureScript Other UpdatedApr 24, 2016 -
-
purescript-ace-halogen Public
Forked from purescript-halogen/purescript-ace-halogenA Halogen component for the Ace editor.
PureScript UpdatedJan 22, 2016
{{ message }}