-
-
The simplest and most extensible ZK VM. Fast and fully open source from a16z crypto. ⚡ 💌
Rust MIT License UpdatedApr 10, 2024 -
-
-
-
haskell-language-server Public
Forked from haskell/haskell-language-serverSuccessor of ghcide & haskell-ide-engine. One IDE to rule them all.
Haskell Apache License 2.0 UpdatedMay 13, 2021 -
projectile Public
Forked from bbatsov/projectileProject Interaction Library for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedMay 4, 2021 -
homebrew-emacsmacport Public
Forked from railwaycat/homebrew-emacsmacportEmacs mac port formulae for the Homebrew package manager
Ruby BSD 2-Clause "Simplified" License UpdatedMar 28, 2021 -
-
zinc Public
Forked from matter-labs/zincZinc Framework: the ZK circuit programming language and VM
Rust Apache License 2.0 UpdatedFeb 17, 2021 -
tiny-lang Public
Forked from effectfully/tiny-lang -
-
-
-
-
blazor-docs Public
Forked from telerik/blazor-docsPublic Documentation for Telerik UI for Blazor
JavaScript Apache License 2.0 UpdatedOct 21, 2020 -
haskell-language-server-bin Public
A PKGBUILD file for Arch Linux AUR packages
Shell UpdatedJul 28, 2020 -
swiper Public
Forked from abo-abo/swiperIvy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
-
haskell-hackerrank Public
Solutions to HackerRank problems in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 5, 2019 -
equinox Public
Forked from jet/equinox.NET Event Sourcing library with EventStore, CosmosDb and integration testing backends. Focused at stream level; see https://github.com/jet/propulsion for projection and/or cross-stream facilities
F# Apache License 2.0 UpdatedAug 30, 2019 -
steelseries-arctis-5-pulseaudio-profile Public
Forked from DemonTPx/steelseries-arctis-5-pulseaudio-profilePulseaudio profile for SteelSeries Arctis 5
Makefile MIT License UpdatedMar 6, 2019 -
fsharpworkshop Public
Forked from jorgef/fsharpworkshopF# Workshop
F# Apache License 2.0 UpdatedFeb 6, 2019 -
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedNov 16, 2018 -
-
-
-
-
-
homebrew-functions Public
Forked from Azure/homebrew-functionsHomebrew formula for azure functions core tools
Ruby MIT License UpdatedMar 30, 2018 -
ionide-vscode-fsharp Public
Forked from ionide/ionide-vscode-fsharpVS Code plugin for F# development
F# MIT License UpdatedMar 10, 2018