Repositories Users Organizations Code
Filter
Sort
Nix-Configs/ blog-static-flake
Nix 0 0
Nix flake / derivation for building my blog.
Updated 2026-01-05 00:55:15 +00:00
Web-Projects/ blog-static
Haskell 0 0
A Hugo incarnation of the blog.
Updated 2026-01-05 00:34:05 +00:00
Nix-Configs/ server-config
Nix 0 0
Updated 2026-01-04 02:54:57 +00:00
Web-Projects/ vanilla-hugo
HTML 0 0
Hugo theme for my blog.
Updated 2026-01-04 02:08:45 +00:00
Matrix-Programs/ Scylla
Elm 0 0
An Elm-based Matrix client.
Updated 2025-12-27 19:03:34 +00:00
Crystal-Bots/ joann-pupper-bot
Crystal 0 0
A Telegram bot to send Joann Jarvis pictures from reddit every hour.
Updated 2025-12-27 09:06:42 +00:00
DanilaFe/ resume
HTML 0 0
My resume, written with HTML+SCSS
Updated 2025-12-27 00:21:15 +00:00
Nix-Configs/ web-files
Nix 0 0
A nix flake to build and host some CSS and JavaScript files I need for my site.
Updated 2025-12-26 22:32:21 +00:00
Everything-I-Know-About-Types/ bergamot-elm
Elm 0 0
An Elm re-implementation of bergamot.
Updated 2025-12-26 22:30:28 +00:00
Crystal-Bots/ telepathy
Crystal 0 0
A fairly thin wrapper around the Telegram API, written for Crystal.
Updated 2025-12-26 02:43:35 +00:00
DanilaFe/ agda-spa
Agda 0 0
Attempts at formalizing static program analysis techniques in Agda.
Updated 2025-12-08 07:20:46 +00:00
ChapelCon/ ChapelCon2025-Slides
JavaScript 0 0
Slides from my two conference day presentations at ChapelCon '25
Updated 2025-10-10 20:13:20 +00:00
Web-Projects/ blog-versions
Python 0 0
Regression tests for pages on the blog
Updated 2025-04-13 00:42:15 +00:00
DanilaFe/ formal-interview
Agda 0 0
An Agda formalization of some of what we talked about during the Formal interview.
Updated 2024-09-25 01:46:42 +00:00
DanilaFe/ dotfiles
Vim script 0 0
My dotfiles.
Updated 2024-02-10 22:33:52 +00:00
Nix-Configs/ katex-html Archived
Nix 0 0
A Ruby script to convert LaTeX in pages into HTML.
Updated 2023-12-16 18:22:53 +00:00
Everything-I-Know-About-Types/ bergamot
PureScript 0 0
A tiny little logic programming language
Updated 2023-10-16 00:54:42 +00:00
Everything-I-Know-About-Types/ logict
PureScript 0 0
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
Updated 2023-03-13 05:17:22 +00:00
Everything-I-Know-About-Types/ unifyt
PureScript 0 0
A unification monad implemented using PureScript.
Updated 2023-03-13 04:05:17 +00:00
DanilaFe/ bloglang
C++ 0 0
Code for the compiler described in my blog
Updated 2023-01-01 22:52:07 +00:00