Web-Projects/blog-static
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A Hugo incarnation of the blog. https://danilafe.com
920 Commits 8 Branches 0 Tags 47 MiB
Haskell 34%
Ruby 18.5%
Coq 16.4%
SCSS 8.5%
Idris 8.4%
Other 14.1%
master
Go to file
Danila Fedorin 7fbd4ea9f8 Update theme with syntax highlighting fix 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
2025-04-12 17:56:44 -07:00
archetypes Generate initial site 2019-08-02 17:13:41 -07:00
assets Fix thevoid theme on light mode devices 2024-12-04 13:58:32 -08:00
code Update Agda SPA imp 2024-11-16 15:16:57 -08:00
content Update theme 2025-03-30 23:15:54 -07:00
data Update 'submodules.json' with new submodule 2024-08-18 13:23:20 -10:00
layouts Update theme with new Hugo support 2025-03-02 13:42:42 -08:00
themes Update theme with syntax highlighting fix 2025-04-12 17:56:44 -07:00
.drone.yml Try to fix compiler build failure 2020-04-26 21:05:28 -07:00
.gitignore Add gitignore file 2019-12-04 14:35:23 -08:00
.gitmodules Add the SPA code as a submodule 2024-03-11 14:34:35 -07:00
agda.rb Update ruby scripts to use 'File.exist?' 2025-03-02 11:32:55 -08:00
analyze.rb Update ruby scripts to use 'File.exist?' 2025-03-02 11:32:55 -08:00
build-agda-html.rb Update ruby scripts to use 'File.exist?' 2025-03-02 11:32:55 -08:00
chatgpt-subset-feather-icon.rb Remove incorrect print 2025-02-23 12:45:24 -08:00
chatgpt-subset-one-go.py Print number of files processed 2025-02-23 13:25:18 -08:00
config.toml Remove configs from website that are now defined in theme 2024-09-15 18:46:23 -07:00
convert.rb Keep KaTeX css files 2025-02-23 17:01:49 -08:00
Gemfile Port over the HTML conversion script to execute JS 2024-05-23 21:03:03 -07:00
Gemfile.lock Update nokogiri more 2025-03-02 13:36:08 -08:00
submodule-links.rb Switch to using data/ for submodule information 2024-05-16 15:52:33 -07:00