Beast code in Giters

Kirill Valiavin's repositories

notebooks

IHaskell notebooks

Language:Jupyter Notebook1 20

arend-lib

Language:JavaApache-2.0010

carveau_test

Language:Markdown020

claude-api

Haskell client for Anthropic's Claude API

Language:HaskellAGPL-3.0000

compHW

Language:Coq020

Coq-RiDE

Language:Coq020

Documents

Document storage

010

effectful-notify

Language:HaskellBSD-2-Clause020

emacs-init

Language:Emacs Lisp020

haskellfoundation.github.io

The Haskell Foundation website, hosted by GitHub Pages.

Language:HTMLNOASSERTION010

hkd-playground

Language:Haskell020

MyMTLWalletBot

000

nixpkgs

Nix Packages collection

Language:NixMIT010

org-mode

Language:Emacs LispGPL-3.0020

pch-ws-chat

The chat example from Parallel and Concurrent Haskell, but on WebSockets

Language:HaskellBSD-3-Clause020

reflex-vty

Reflex library for building functional reactive terminal applications

Language:HaskellBSD-3-Clause000

reflex-vty-usage

An example project using reflex-vty via reflex-platform

Language:HaskellBSD-3-Clause020

sdk-core

Core Temporal SDK that can be used as a base for language specific Temporal SDKs

Language:RustNOASSERTION010

sexpr-parser

S-expression parser in Haskell

Language:HaskellMIT010

trial-chain

Language:Haskell000

ts-sandbox

Language:TypeScript020

websocket-counter

A simple counter app powered by Haskell websockets backend

Language:HaskellBSD-3-Clause020

write-me-a-scheme

Language:HaskellBSD-3-Clause020

xml

Various XML utility packages for Haskell

Language:Haskell010

xml-isogen

TemplateHaskell generators for XML-isomorphic data types, instances for parsing and rendering. A convenient DSL to define types.

Language:HaskellMIT000