PanAeon

Pinned Repositories

drracket
:ice_cream: Soothing pastel theme for DrRacket
Language:Racket8 4 10
anonymous-voting
Exploration of the paper "Anonymous voting by two round public discussion"
Language:Haskell0 3 00
beancount-racket
Beancount language for Racket
Language:Racket2 2 00
dhall-lsp-server
[This Repo is Deprecated] for new builds go to dhall-haskell repo
Language:Haskell3 3 100
doobie-fixpoint
Language:Scala00
Hearth-Haven-Groovy-Bot
Hearth&Haven Groovy Bot
Language:Groovy4 3 01
transg-tui
Terminal UI for transmission torrent client
Language:Rust86 4 96
vscode-tmgrammar-test
Test helpers for VSCode textmate grammars
Language:TypeScript96 5 2512

PanAeon's Repositories

PanAeon/vscode-tmgrammar-test
Test helpers for VSCode textmate grammars
Language:TypeScript96 5 2512
PanAeon/transg-tui
Terminal UI for transmission torrent client
Language:Rust86 4 96
PanAeon/dhall-lsp-server
[This Repo is Deprecated] for new builds go to dhall-haskell repo
Language:Haskell3 3 100
PanAeon/beancount-racket
Beancount language for Racket
Language:Racket2 2 00
PanAeon/ninety-nine
My solutions for 99-haskell-problems
Language:Haskell1 3 0
PanAeon/vscode-dhall-lsp-server
VSCode pluging that provides LSP support for the Dhall programming language
Language:TypeScript1 2 0
PanAeon/anonymous-voting
Exploration of the paper "Anonymous voting by two round public discussion"
Language:Haskell0 3 00
PanAeon/doobie-fixpoint
Language:Scala00
PanAeon/advent-of-code2017
Language:Haskell3 0
PanAeon/cv
Résumé
Language:TeX1 0
PanAeon/dhall-haskell
A configuration language guaranteed to terminate
Language:Dhall3 0
PanAeon/ha-must-inverter
Must Inverter plugin for HomeAssistant
PanAeon/haskell-lsp
Haskell library for the Microsoft Language Server Protocol
Language:Haskell3 0
PanAeon/kmouse
evdev mouse simulator
Language:Rust
PanAeon/libtorrent-sys
Rust API / cxx bindings for libtorrent
Language:C++1 0
PanAeon/metals
Work-in-progress language server for Scala
Language:Scala3 0
PanAeon/nerveux.nvim
A neovim plugin written in lua to interact with the neuron Zettelkasten software.[fork]
Language:Lua0 0
PanAeon/niri
A scrollable-tiling Wayland compositor.
PanAeon/nixpkgs
Nix Packages collection
Language:Nix3 0
PanAeon/ormolu
A formatter for Haskell source code
Language:Haskell2 0
PanAeon/PanAeon
2 0
PanAeon/purescript-css-properties
Get a list of CSS properties or value keywords
Language:JavaScript2 0
PanAeon/racket-workshop
My attempt at "Make your own meta-circular evaluator!" workshop
Language:HTML3 0
PanAeon/sounds-of-english
Language:Haskell3 0
PanAeon/squarelimit
Language:Haskell3 0
PanAeon/ted2srt
Download bilingual subtitles of TED talks
Language:Haskell2 0
PanAeon/transg
transmission remote gui client
Language:Rust1 0
PanAeon/transmission
Official Transmission BitTorrent client repository
Language:C++1 0
PanAeon/transplate-video
toy video transplator
Language:Haskell3 0
PanAeon/vscode-scala-syntax
Language:Scala3 0