-
-
nixfix Public
You surely don't need it. It's a test repository to work on nix the package manager edge case problems
OCaml UpdatedJan 5, 2023 -
plutarch-quickcheck Public
Forked from Liqwid-Labs/plutarch-quickcheck 8000Pain-free QuickCheck helpers for Plutarch
Haskell Apache License 2.0 UpdatedAug 31, 2022 -
plutonomicon Public
Forked from Plutonomicon/plutonomiconAdvanced techniques in the plutus smart contract language
Nix MIT License UpdatedJul 6, 2022 -
minik Public
Runtime Verification Assessment
-
-
reddish Public
Redis client for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 16, 2021 -
plutus Public
Forked from IntersectMBO/plutusThe Plutus language implementation and tools
HTML Apache License 2.0 UpdatedMay 18, 2021 -
rms-support-letter.github.io Public
Forked from rms-support-letter/rms-support-letter.github.ioAn open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Ruby GNU General Public License v3.0 UpdatedMar 26, 2021 -
lightning-network Public
Forked from serokell/lightning-networkA Haskell interface for the Lightning Network
Haskell UpdatedDec 9, 2020 -
servant-ekg Public
Forked from haskell-servant/servant-ekgHaskell BSD 3-Clause "New" or "Revised" License UpdatedOct 1, 2020 -
haskell-oidc-client Public
Forked from krdlab/haskell-oidc-clientOpenID Connect 1.0 client (RP) library for Haskell
Haskell MIT License UpdatedAug 19, 2020 -
transformers-abort Public
Forked from mvv/transformers-abortA better error monad transformer
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 25, 2020 -
-
singletons Public
Forked from serokell/singletonsFake dependent types in Haskell using singletons
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJan 15, 2020 -
-
ppx_implicits Public
Typeclass or modular implicits using ppx. No compiler modification required!
-
republia Public
Forked from republia/republiaRepublia Blockchain and Smart-Contracts open source code.
OCaml UpdatedJan 15, 2019 -
thinking-with-types Public
Forked from isovector/thinking-with-types📖 source material for Thinking with Types
TeX Other UpdatedDec 13, 2018 -
crkbd Public
Forked from foostan/crkbdCorne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
Python Other UpdatedAug 25, 2018 -
-
Interview-Tasks Public
Forked from ScalHive/Interview-TasksFor job offer candidates and students practice or trainee level
GNU General Public License v3.0 UpdatedApr 16, 2018 -
homebrew-emacs-plus Public
Forked from d12frosted/homebrew-emacs-plusEmacs Plus formulae for the Homebrew package manager
Ruby UpdatedDec 5, 2017 -
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 21, 2017 -
flycheck Public
Forked from flycheck/flycheckOn the fly syntax checking for GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedNov 5, 2017 -
haskell-mode Public
Forked from haskell/haskell-modeEmacs mode for Haskell
Emacs Lisp GNU General Public License v3.0 UpdatedSep 26, 2017 -
EUSignDFS Public
Forked from GorulkoAV/EUSignDFSThe wrapper for the cryptographic library EUSignCP.DLL
C# UpdatedSep 7, 2017 -
emacs-ukrainian-input-method Public
Forked from d12frosted/emacs-ukrainian-input-methodUkrainian macOS-like input method
Emacs Lisp UpdatedJul 11, 2017 -
dvorak-cyrillic-phonetic Public
Forked from jamesstoneco/dvorak-cyrillic-phoneticA Cyrillic Phonetic Keyboard Layout for Dvorak Typists
MIT License UpdatedJun 26, 2017 -
BetterTextField Public
Forked from duongel/BetterTextFieldObjective-C MIT License UpdatedJun 7, 2017
{{ message }}