Pinned Repositories
cooltt
😎TT
groupoid_model_in_lean4
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
agda-tic-tac-toe
Tic Tac Toe, formalized in Agda
lean-rz
Realizability theory in lean
muprl
A small NuPRL style proof assistant
omit-generics
Omit fields for instance deriving
refinery
⛏️ A refinement proof framework for haskell
SteamCurses
A Basic NCurses Client for Steam
tactic-haskell
Tactic Metaprogramming in Haskell
TOTBWF's Repositories
TOTBWF/tactic-haskell
Tactic Metaprogramming in Haskell
TOTBWF/SteamCurses
A Basic NCurses Client for Steam
TOTBWF/muprl
A small NuPRL style proof assistant
TOTBWF/iso
A reversible language
TOTBWF/agda-partial-setoid
An implementation of partial setiods in agda
TOTBWF/podcast-dl
A simple CLI podcast downloader
TOTBWF/teamcity-el
Teamcity integration for emacs
TOTBWF/brick
A declarative terminal UI programming library written in Haskell
TOTBWF/counsel-brew
An Ivy interface for OSX Homebrew
TOTBWF/dap-mode
Emacs :heart: Debug Adapter Protocol
TOTBWF/docker.el
Manage docker from Emacs.
TOTBWF/dockerfile-mode
An emacs mode for handling Dockerfiles
TOTBWF/doom-emacs
An Emacs configuration for the stubborn martian vimmer
TOTBWF/doom-private-module
My Doom Emacs Private Module
TOTBWF/emacs-fsharp-mode
F# Emacs mode
TOTBWF/exwm-firefox-core
TOTBWF/FAKE
FAKE - F# Make
TOTBWF/FsAutoComplete
F# compiler service API exposed via a console application std I/O or http
TOTBWF/FSharp.Data.GraphQL
FSharp implementation of Facebook GraphQL query language.
TOTBWF/FSharpPlus
Extensions for F#
TOTBWF/graphql-mode
An Emacs mode for GraphQL
TOTBWF/org-chef
A package for making a cookbook and managing recipes with org-mode.
TOTBWF/paket.el
Modern emacs interface to paket
TOTBWF/prodigy.el
Manage external services from within Emacs
TOTBWF/restclient.el
HTTP REST client tool for emacs
TOTBWF/rss-conduit
Streaming parser/renderer for the RSS 2.0 standard.
TOTBWF/scribe
A document conversion service
TOTBWF/swiper
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
TOTBWF/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
TOTBWF/uri-bytestring
Haskell URI parsing as ByteStrings