-
-
-
eshkol Public
Forked from tsotchke/eshkolHigh-Performance LISP-like language for Scientific Computing and AI written in C++
C++ MIT License UpdatedApr 1, 2026 -
-
-
dotfiles Public
Forked from omerxx/dotfilesMy dotfiles synced from localhost and remote machines
Nushell UpdatedNov 9, 2025 -
dada Public
Forked from sellout/dadaA recursion scheme library for Dhall.
GNU Affero General Public License v3.0 UpdatedDec 29, 2023 -
snarkl Public
Forked from martyall/snarklHaskell BSD 3-Clause "New" or "Revised" License UpdatedDec 13, 2023 -
libsnark Public
Forked from jkroll/libsnarklibsnark: a C++ library for zkSNARK proofs
C++ Other UpdatedDec 12, 2023 -
-
-
hyper Public
Forked from srghma-old/hyperType-safe, statically checked composition of HTTP servers
PureScript Mozilla Public License 2.0 UpdatedDec 14, 2021 -
-
purescript-trout-client Public
Forked from purescript-hyper/purescript-trout-clientAutomatically derived XHR clients for Trout routing types.
-
purescript-trout Public
Forked from purescript-hyper/purescript-troutType-Level Routing for PureScript
-
-
purescript-websocket-moderate Public
Forked from athanclark/purescript-websocket-moderateA different websocket binding for purescript
PureScript BSD 3-Clause "New" or "Revised" License UpdatedSep 14, 2021 -
purescript-hypertrout Public
Forked from purescript-hyper/purescript-hypertroutBuild servers in Hyper using Trout
-
purescript-readts Public
Forked from qlonik-forks/purescript-readtsRead Typescript source and write Purescript types
PureScript MIT License UpdatedJul 28, 2021 -
purescript-react-mui Public
Forked from athanclark/purescript-react-muiPurescript bindings for https://material-ui.com/
PureScript UpdatedJul 27, 2021 -
purescript-tscompat Public
Forked from athanclark/purescript-tscompatPurescript types and classes for interop with Typescript
PureScript UpdatedJul 27, 2021 -
purescript-tagged Public
Forked from LiamGoodacre/purescript-taggedPhantom tags
PureScript MIT License UpdatedJul 9, 2021 -
-
clash-systolic Public
Forked from alex-mckenna/clash-systolicSystolic Networks in Clash
Haskell BSD 2-Clause "Simplified" License UpdatedMar 14, 2021 -
proto-lens Public
Forked from google/proto-lensAPI for protocol buffers using modern Haskell language and library patterns.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 20, 2021 -
riscv-semantics Public
Forked from mit-plv/riscv-semanticsA formal semantics of the RISC-V ISA in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 18, 2020 -
tidal-vis Public
Forked from tidalcycles/tidal-visTidal is a domain specific language for live coding pattern. This package allows colour patterns to be rendered as PDF or SVG files.
Haskell GNU General Public License v3.0 UpdatedNov 16, 2020 -
libdrm_v3d Public
Forked from Idein/libdrm_v3dA thin userland wrapper for the V3D DRM driver
C GNU General Public License v2.0 UpdatedNov 16, 2020 -
-
poberezkin.com Public
Forked from epoberezkin/poberezkin.comMy blog
CSS MIT License UpdatedSep 4, 2020
{{ message }}