Pinned Repositories
cardano-sl
Cryptographic currency implementing Ouroboros PoS protocol
coding-challanges
config
my global configuration
DBMonad
Wrapper library for .net DB Client(DBConnection class) that provide monadic interface
elm
elm dev env
lconf2024
snipix
templates repo
VSCodeEnv
a nix wrapper over vscode that can set a vscode with workspace configuration (extensions, settings...) from nix
WSearch
Web Search Plugin For Vim
countoren's Repositories
countoren/DBMonad
Wrapper library for .net DB Client(DBConnection class) that provide monadic interface
countoren/VSCodeEnv
a nix wrapper over vscode that can set a vscode with workspace configuration (extensions, settings...) from nix
countoren/snipix
templates repo
countoren/lconf2024
countoren/coding-challanges
countoren/CV
My CV
countoren/DiffAndVersion
countoren/fairy-tale-artificial-general-intelligence-solutions
Helping humanity create safe artificial general intelligence
countoren/filemanip
A Haskell library for working with files and directories. Includes code for pattern matching, finding files, modifying file contents, and more.
countoren/fsharp-language-server
countoren/golem
Golem: Transparent durable execution for any programming language
countoren/haskell-editor-setup
Easy instructions for setting up Haskell editors / IDEs on any major operating system.
countoren/haskell-src-exts
Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
countoren/haskell-src-exts-simple
An annotation-free haskell-src-exts AST
countoren/hoogle
Haskell API search engine
countoren/LagdaMdToLagda
Convert file content from `.lagda.md` to `.lagda` format
countoren/lambdabot
A friendly IRC bot and apprentice coder, written in Haskell.
countoren/nix-deploy
countoren/plutus-pioneer-program
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the native smart contract language for the Cardano ecosystem.
countoren/quick-lint-js
quick-lint-js finds bugs in JavaScript programs
countoren/random-fu
A suite of Haskell libraries for representing, manipulating, and sampling random variables
countoren/Streaming
countoren/templatesEnv
countoren/ultisnips
UltiSnips - The ultimate snippet solution for Vim. Send pull requests to SirVer/ultisnips!
countoren/ultisnips-snippets
my snippets for ultisnip
countoren/vim-nix
copied from private machine configuration
countoren/vim-snippets
vim-snipmate default snippets (Previously snipmate-snippets)
countoren/vims
vims defintions
countoren/vscodeConfig
my global configuration for vscode
countoren/WS-EmotionsOfLove
Katie Emotion Code WebSite