glottologist
Polygot functional programmer, physicist, data scientist, linguist, sometime beekeeper and most importantly, father. @scala @haskell @idris @ocaml @f# @rust @f*
OntologiUK
Pinned Repositories
axon
Port of Neuron from Haskell to Rust with additional features
keylog.nvim
A Neovim LUA plugin for creating keystroke heatmap
monorepo-nix-bazel
A monorepo template, using Nix, direnv and Bazel
nix-home
Nix Home Manager
rareskills-zk-bootcamp
Scratch zone for RareSkills Bootcamp course
tramp
Portable Development Environments
glottologist's Repositories
glottologist/keylog.nvim
A Neovim LUA plugin for creating keystroke heatmap
glottologist/rareskills-zk-bootcamp
Scratch zone for RareSkills Bootcamp course
glottologist/.files
NixOS Configurations
glottologist/adapted-chaum-pedersen
Chaum–Pedersen adapted for 1 factor authentication
glottologist/awesome-zama
A curated list of amazing Fully Homomorphic Encryption (FHE) resources created by the team at Zama.
glottologist/checkers
IDA Checkers Blockchain Repo
glottologist/dao-contracts
CosmWasm smart contracts for Interchain DAOs.
glottologist/encode-advanced-solidity
Repo for course homework
glottologist/encode-zk-bootcamp
Scratch zone for ZK Bootcamp work
glottologist/ExpertSolidityBootcamp
glottologist/foundry-full-course-f23
glottologist/GasOptimisationFoundry-Team2
glottologist/glottologist
glottologist/home-manager
Manage a user environment using Nix [maintainer=@rycee]
glottologist/ida-checkers
Interchain Dev Academy Checkers Implementation
glottologist/ig-brokers
IG Brokers Rust API
glottologist/nixpkgs
Nix Packages collection
glottologist/noir-puzzles
glottologist/nvim-flake
Flake for developer NVIM
glottologist/pilcom
Polynomials Identity Language
glottologist/simple-handshake
Simple node handshake code
glottologist/slips
SatoshiLabs Improvement Proposals
glottologist/sparkling_water_bootcamp
Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp
glottologist/tanenbaum
OCaml Advent of Code starter project
glottologist/wisecrow
Tool to generate frequency based flashcard datasets from subtitles
glottologist/ZeroKnowledgeBootcamp-code
Fork of ExtropyIO code from ZeroKnowledgeBootcamp
glottologist/zk-projects
Small ZK Projects built in different languages
glottologist/zkevm-prover
zkEVM prover in C++
glottologist/zmk
ZMK Firmware Repository
glottologist/zmk_keymap