Pinned Repositories
hakyll-agda
Hakyll support for Agda literate files
mazzo.li
Source for https://mazzo.li
pipes-speed-test
suggest
Simple auto completion web server
tog
wadump
Small utility to dump data from the multi-device WhatsApp web client.
daml
The Daml smart contract language
inline-c
bitonic's Repositories
bitonic/pipes-speed-test
bitonic/wadump
Small utility to dump data from the multi-device WhatsApp web client.
bitonic/mazzo.li
Source for https://mazzo.li
bitonic/hakyll-agda
Hakyll support for Agda literate files
bitonic/sundown
Haskell bindings to the sundown markdown library
bitonic/anapo
bitonic/micrograd-ad
bitonic/x62-fancontrol
bitonic/puzzlescript-rs
bitonic/aframe
:a: web framework for building virtual reality experiences.
bitonic/solga
Simple typesafe routing
bitonic/aeson-typescript
Generate TypeScript definition files from your ADTs
bitonic/asm-lambda
bitonic/FreeRDP
FreeRDP is a free remote desktop protocol library and clients
bitonic/haskell-opaleye
bitonic/jsaddle
JavaScript interface that works with GHCJS or GHC
bitonic/jsval-json
bitonic/kakoune
mawww's experiment for a better code editor
bitonic/linux
Linux kernel source tree
bitonic/masscan
TCP port scanner, spews SYN packets asynchronously, scanning entire Internet in under 5 minutes.
bitonic/nixos-install-scripts
collection of one-shot scripts to install NixOS on various server hosters and other hardware. [maintainer=@happysalada]
bitonic/nixpkgs
Nix Packages collection
bitonic/oiio
Reading, writing, and processing images in a wide variety of file formats, using a format-agnostic API, aimed at VFX applications.
bitonic/pandoc
Universal markup converter
bitonic/react-overlays
Utilities for creating robust overlay components
bitonic/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
bitonic/utf8.h
single header utf8 string functions for C and C++
bitonic/vlfeat
An open library of computer vision algorithms
bitonic/zfs
OpenZFS on Linux and FreeBSD
bitonic/zuri23