Beast code in Giters

Kaushik Chakraborty's repositories

autopack

Auto build and run a React app within a Docker container without a Dockerfile

Language:RustApache-2.016 2 6

kiteticker-async

Async client for the Kite Connect WebSocket API

Language:RustApache-2.014 2 7

kaychaks.github.io

Language:CSS1 30

exercism-tracks

Exercism track submissions

Language:Rust000

merkle-basic-haskell

Language:Haskell030

nix-config

Language:Shell030

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustApache-2.0010

algo-design-in-haskell

Language:Haskell030

AoC

My attempts to solve puzzles of Advent of Code

Language:RustBSD-3-Clause030

contxt-sdk-js

Language:JavaScriptNOASSERTION010

dot-emacs

Language:Emacs Lisp030

dot-vim

Language:Lua030

fnconfworkshop

Samples and other material for the Functional Conf workshop

Language:PrologBSD-2-Clause000

home-manager

Manage a user environment using Nix

Language:NixMIT000

kiteconnect-rs

The official Rust client library for the Kite Connect trading APIs

MIT000

learn-lean

Language:Lean030

lets-lens

Language:HaskellNOASSERTION030

nixpkgs

Nix Packages collection

Language:NixMIT000

notebooks

Language:Jupyter Notebook030

optics-book

Language:Haskell030

pandoc-latex

Extended version of pandoc/latex, can build document with Eisvogel LaTeX template

Language:ShellMIT010

plfa.github.io

Introduction to programming language theory in Agda

Language:HTMLCC-BY-4.0000

reflex-pwa

Language:Haskell030

svelte-experiment

Language:Svelte030

tex-course

Language:TeX030

til

Project based note taking

Unlicense000

unison_playground

Unison Playground

010

wasm-game-of-life

Language:RustApache-2.0030

wasm-game-of-life-js

Language:JavaScriptApache-2.0030

wsdl-to-ts

Generate TypeScript typings for WSDL services

Language:TypeScriptISC020