Pinned Repositories
bake
Continuous integration server
CruiserWebViewController
Yet another one WebKit browser controller with enhanced navigation and additional controls.
funnyprint
ppx_implicits
Typeclass or modular implicits using ppx. No compiler modification required!
Pitometsu's Repositories
Pitometsu/ppx_implicits
Typeclass or modular implicits using ppx. No compiler modification required!
Pitometsu/funnyprint
Pitometsu/minik
Runtime Verification Assessment
Pitometsu/ae
Coding challenge.
Pitometsu/BetterTextField
Pitometsu/crkbd
Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.
Pitometsu/dvorak-cyrillic-phonetic
A Cyrillic Phonetic Keyboard Layout for Dvorak Typists
Pitometsu/emacs-ukrainian-input-method
Ukrainian macOS-like input method
Pitometsu/EUSignDFS
The wrapper for the cryptographic library EUSignCP.DLL
Pitometsu/flycheck
On the fly syntax checking for GNU Emacs
Pitometsu/haskell-mode
Emacs mode for Haskell
Pitometsu/haskell-oidc-client
OpenID Connect 1.0 client (RP) library for Haskell
Pitometsu/hlint
Haskell source code suggestions
Pitometsu/homebrew-emacs-plus
Emacs Plus formulae for the Homebrew package manager
Pitometsu/Interview-Tasks
For job offer candidates and students practice or trainee level
Pitometsu/lightning-network
A Haskell interface for the Lightning Network
Pitometsu/nixfix
You surely don't need it. It's a test repository to work on nix the package manager edge case problems
Pitometsu/platform
Pitometsu/plutarch-quickcheck
Pain-free QuickCheck helpers for Plutarch
Pitometsu/plutonomicon
Advanced techniques in the plutus smart contract language
Pitometsu/plutus
The Plutus language implementation and tools
Pitometsu/reddish
Redis client for Haskell
Pitometsu/republia
Republia Blockchain and Smart-Contracts open source code.
Pitometsu/rms-support-letter.github.io
An open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
Pitometsu/servant-ekg
Pitometsu/singletons
Fake dependent types in Haskell using singletons
Pitometsu/TaPL
TaPL implementation bits in Idris2
Pitometsu/tezos
Pitometsu/thinking-with-types
📖 source material for Thinking with Types
Pitometsu/transformers-abort
A better error monad transformer