Dépôts Utilisateurs Organisations Code
Filtrer
Trier
DanilaFe/ agda-spa
Agda 0 0
Attempts at formalizing static program analysis techniques in Agda.
Actualisé 2025-04-20 19:13:45 -07:00
Nix-Configs/ blog-static-flake
Nix 0 0
Nix flake / derivation for building my blog.
Actualisé 2025-04-12 17:57:47 -07:00
Web-Projects/ blog-static
Haskell 0 0
A Hugo incarnation of the blog.
Actualisé 2025-04-12 17:57:02 -07:00
Web-Projects/ vanilla-hugo
HTML 0 0
Hugo theme for my blog.
Actualisé 2025-04-12 17:56:34 -07:00
Web-Projects/ blog-versions
Python 0 0
Regression tests for pages on the blog
Actualisé 2025-04-12 17:42:15 -07:00
DanilaFe/ resume
HTML 0 0
My resume, written with HTML+SCSS
Actualisé 2025-04-07 22:45:35 -07:00
Nix-Configs/ server-config
Nix 0 0
Actualisé 2025-03-02 19:02:05 -08: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.
Actualisé 2024-11-03 17:15:52 -08:00
Everything-I-Know-About-Types/ bergamot-elm
Elm 0 0
An Elm re-implementation of bergamot.
Actualisé 2024-11-03 17:13:27 -08:00
DanilaFe/ formal-interview
Agda 0 0
An Agda formalization of some of what we talked about during the Formal interview.
Actualisé 2024-09-24 18:46:42 -07:00
DanilaFe/ dotfiles
Vim script 0 0
My dotfiles.
Actualisé 2024-02-10 14:33:52 -08:00
Nix-Configs/ katex-html Archivé
Nix 0 0
A Ruby script to convert LaTeX in pages into HTML.
Actualisé 2023-12-16 10:22:53 -08:00
Everything-I-Know-About-Types/ bergamot
PureScript 0 0
A tiny little logic programming language
Actualisé 2023-10-15 17:54:42 -07:00
Everything-I-Know-About-Types/ logict
PureScript 0 0
PureScript implementation of the success-failure-continuation-based backtracking monad transformer.
Actualisé 2023-03-12 22:17:22 -07:00
Everything-I-Know-About-Types/ unifyt
PureScript 0 0
A unification monad implemented using PureScript.
Actualisé 2023-03-12 21:05:17 -07:00
DanilaFe/ bloglang
C++ 0 0
Code for the compiler described in my blog
Actualisé 2023-01-01 14:52:07 -08:00
Advent-of-Code/ AdventOfCode-2022
Chapel 0 0
Actualisé 2022-12-14 23:13:52 -08:00
Nix-Configs/ katex-server Archivé
Nix 0 0
A tiny web server exposing KaTeX through an API.
Actualisé 2022-10-18 19:09:54 -07:00
CS-515/ formal
Coq 0 0
Formal verification of solution from the homework.
Actualisé 2022-01-06 22:00:08 -08:00
DanilaFe/ golden-color
Crystal 0 0
Golden ratio based color generation.
Actualisé 2021-11-13 14:50:41 -08:00