-
ada_nifs Public
Writing Erlang/Elixir NIFs with Ada/SPARK. The goals are making them easy to write and provable/verifiable (SPARK + GNATprove).
-
ada_monads Public
Experiments in implementing monads in Ada / SPARK. Their adherence to the monad laws are verified using GNATprove.
Ada BSD 3-Clause "New" or "Revised" License UpdatedSep 14, 2023 -
purescript-native-go-ffi Public
Go foreign export implementations for the standard library
-
purescript-native Public
A native compiler backend for PureScript (via C++ or Golang)
-
documentation Public
Forked from purescript/documentationDocumentation for the PureScript language, compiler, and tools.
UpdatedMar 12, 2023 -
language-javascript Public
Forked from quintenkasteel/language-javascriptParser for JavaScript, in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 16, 2020 -
purescript-arrays Public
Forked from purescript/purescript-arraysArray utility functions
PureScript BSD 3-Clause "New" or "Revised" License UpdatedOct 15, 2019 -
spago Public
Forked from purescript/spago🍝 PureScript package manager and build tool powered by Dhall and package-sets
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 13, 2019 -
lambda-lantern Public
Forked from lettier/lambda-lantern🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
-
purescript-native-cpp-ffi Public
C++ foreign export implementations for the standard library
-
purescript-prelude Public
Forked from purescript/purescript-preludeThe PureScript Prelude
-
ArduinoSTL Public
Forked from mike-matera/ArduinoSTLAn STL and iostream implementation based on uClibc++ that supports my CS-11M class.
C GNU Lesser General Public License v2.1 UpdatedMar 18, 2019 -
-
purescript-orders Public
Forked from purescript/purescript-ordersUtilities for the Ord type class.
PureScript MIT License UpdatedDec 21, 2016 -
vscode-ide-purescript Public
Forked from nwolverson/vscode-ide-purescriptPureScript IDE support for VS Code
PureScript MIT License UpdatedDec 8, 2016 -
purescript-clojure Public
An experimental Clojure backend for PureScript
-
pure14-standalone Public
An experimental C++14 compiler/backend for PureScript
-
-
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedDec 15, 2014 -
idris-cplusplus Public
Experimental C++11 backend for Idris
-
-
-
Xcode-4-Fixins Public
Forked from davekeck/Xcode-4-FixinsPlugins for fixing Xcode 4 bugs and shortcomings
-
-
SafeCategories Public
Safe categories for Objective-C
C BSD 3-Clause "New" or "Revised" License UpdatedNov 22, 2013
{{ message }}