Home Explore Help
Sign In
Web-Projects
/
blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A Hugo incarnation of the blog. https://danilafe.com
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
579 Commits
8 Branches
0 Tags
45 MiB
C++ 67.6%
C 8.7%
Haskell 6.4%
Yacc 5.8%
Coq 3.1%
Other 8.2%
 
 
 
 
 
 
Branch: master
colors
donations
localization
margin-rework
master
search
sidenotes
table-of-contents
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
blog-static/code
History
Danila Fedorin 57aecc46be
Update and publish catamorphism article
2 months ago
..
aoc-2020@7a8503c3fe Add more text to draft. 1 year ago
blog-static-flake@67b47d9c29 Update the blog flake submodule and Nix Blog post 3 months ago
catamorphisms Update and publish catamorphism article 2 months ago
compiler Get rid of more constructors and make mangled names optional. 2 years ago
cs325-langs Add homework 3 solution for CS325 3 years ago
dawn Finish a draft of the UCC evaluator article 7 months ago
patterns Add a draft about digit sum patterns. 6 months ago
server-config@98cffe0954 Add server configuration as submodule 7 months ago
time-traveling Add time traveling code. 2 years ago
typesafe-imperative Update typesafe imperative language post draft. 2 years ago
typesafe-interpreter Add version of typesafe interpreter with tuples. 2 years ago
typescript-emitter Add draft of TypeScript typesafe event emitter post 10 months ago
Powered by Gitea Version: 1.15.2 Page: 109ms Template: 5ms
English
English 简体中文 繁體中文(香港) 繁體中文(台灣) Deutsch français Nederlands latviešu русский Українська 日本語 español português do Brasil Português de Portugal polski български italiano suomi Türkçe čeština српски svenska 한국어
Licenses API Website Go1.16.7