a8e5
Follow
-
-
granule Public
Forked from granule-project/granuleA statically typed linear functional language with graded modal types for fine-grained program reasoning
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 1, 2022 -
ATS-Xanadu Public
Forked from githwxi/ATS-XanaduImplementing ATS3 in ATS2
ATS GNU General Public License v3.0 UpdatedMar 29, 2022 -
idris2-lsp Public
Forked from idris-community/idris2-lspLanguage Server for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedMar 26, 2022 -
idris2-webidl Public
Forked from stefan-hoeck/idris2-webidlParsers and (eventually) Idris code generator for WebIDL documents
HTML BSD 2-Clause "Simplified" License UpdatedMar 11, 2022 -
accelerate Public
Forked from AccelerateHS/accelerateEmbedded language for high-performance array computations
Haskell Other UpdatedMar 10, 2022 -
grin Public
Forked from grin-compiler/grinGRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Haskell UpdatedMar 6, 2022 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedFeb 28, 2022 -
slinky Public
Forked from shadaj/slinkyWrite Scala.js React apps just like you would in ES6
Scala MIT License UpdatedFeb 27, 2022 -
Idris2-Grin Public
Forked from Z-snails/Idris2-GrinGRIN backend for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedFeb 26, 2022 -
ATS-Postiats Public
Forked from githwxi/ATS-PostiatsATS2: Unleashing the Potentials of Types and Templates
ATS Other UpdatedFeb 20, 2022 -
-
lean-mlir Public
Forked from opencompl/lean-mlir-oldembedding MLIR in LEAN
Lean Apache License 2.0 UpdatedFeb 17, 2022 -
RBDOOM-3-BFG Public
Forked from RobertBeckebans/RBDOOM-3-BFGDoom 3 BFG Edition with modern engine features (2021) like PBR, Baked Global Illumination, Soft Shadows, Cleaned up source, Linux and 64 bit Support
C++ GNU General Public License v3.0 UpdatedFeb 12, 2022 -
idris2-elab-util Public
Forked from stefan-hoeck/idris2-elab-utilUtilities and documentation for exploring idirs2's new elaborator reflection.
Idris BSD 2-Clause "Simplified" License UpdatedFeb 10, 2022 -
idris2-sinter Public
Forked from CodingCellist/idris2-sinterA sinter backend for idris2
Idris Other UpdatedFeb 9, 2022 -
idris2-python Public
Forked from madman-bob/idris2-pythonA Python backed for Idris 2
Idris Other UpdatedFeb 1, 2022 -
dojima Public
Forked from tcoppex/dojima⚒ Tool to convert Way of the Samurai 4 NIF files to glTF 2.0.
C++ The Unlicense UpdatedJan 20, 2022 -
A minimal in MLIR dialect along the lines of STG to represent laziness.
LLVM Other UpdatedJan 7, 2022 -
idris-jvm Public
Forked from mmhelloworld/idris-jvmJVM bytecode back end for Idris
Idris BSD 3-Clause "New" or "Revised" License UpdatedJan 2, 2022 -
idris2-extra Public
Forked from DSLstandard/idris2-extramy personal library for idris2
Idris MIT License UpdatedDec 26, 2021 -
Idris2-Erlang Public
Forked from christian-public/Idris2-ErlangErlang code generator for Idris 2
Idris Other UpdatedDec 19, 2021 -
-
idris2-mlf Public
Forked from ziman/idris2-mlfMalfunction backend for Idris 2
Idris BSD 3-Clause "New" or "Revised" License UpdatedOct 31, 2021 -
Idris2-Lua Public
Forked from Russoul/Idris2-LuaLua backend for Idris 2
Idris MIT License UpdatedOct 28, 2021 -
futhark Public
Forked from diku-dk/futhark💥💻💥 A data-parallel functional programming language
Haskell ISC License UpdatedSep 30, 2021 -
gibbon Public
Forked from iu-parfunc/gibbonA compiler for functional programs on serialized data
Common Lisp UpdatedSep 29, 2021 -
idris2dart Public
Forked from bamboo/idris2dartThe Dart backend for Idris 2.
Idris Other UpdatedJul 4, 2021 -
malfunction Public
Forked from stedolan/malfunctionMalfunctional Programming
OCaml Other UpdatedMay 21, 2021 -
slinky-materials-ui Public
Forked from metabookmarks/slinky-materials-uiSlinky material ui binding
JavaScript UpdatedFeb 17, 2021