Go to file
Julin S f3071ba4c5 [tex] add another example in misc.tex 2024-02-21 11:04:29 +05:30
agda include old haskell files 2023-05-23 22:52:25 +05:30
apl [apl] tried some apl 2023-04-30 23:19:40 +05:30
awk add a bunch of old files 2023-05-23 22:04:54 +05:30
bash [bash] Try to accept keyboard keycodes via bash 2024-01-05 14:34:15 +05:30
bsv [python] snippet to look into html parse tree 2023-08-31 16:57:43 +05:30
c include old haskell files 2023-05-23 22:52:25 +05:30
clash a mass commit 2024-01-10 14:39:27 +05:30
coq [tex] labeling table with long brackets 2024-02-20 14:11:03 +05:30
cpp [cpp] make tmp/list.cpp 2023-10-01 10:35:55 +05:30
elisp add a bunch of old files 2023-05-23 22:04:54 +05:30
haskell a mass commit 2024-01-10 14:39:27 +05:30
latex [tex] add another example in misc.tex 2024-02-21 11:04:29 +05:30
lean4 more files including prf files of pvs 2023-05-23 22:25:17 +05:30
lua [sml] regex match using cps 2023-04-27 13:08:32 +05:30
metapost add a bunch of old files 2023-05-23 22:04:54 +05:30
misc include old haskell files 2023-05-23 22:52:25 +05:30
nusmv various 2023-04-26 22:34:49 +05:30
ocaml add some older files 2023-10-28 23:38:24 +05:30
pvs more files including prf files of pvs 2023-05-23 22:25:17 +05:30
python [python] snippet to look into html parse tree 2023-08-31 16:57:43 +05:30
racket add a bunch of old files 2023-05-23 22:04:54 +05:30
risc-v [haskell] redoing Hlist.hs 2023-09-30 12:40:17 +05:30
rust various old stuff 2023-04-26 22:32:37 +05:30
sml more files including prf files of pvs 2023-05-23 22:25:17 +05:30
verilog various 2023-04-26 22:34:49 +05:30
vhdl more unfinished coq files 2023-05-23 22:38:33 +05:30
vimscript add a bunch of old files 2023-05-23 22:04:54 +05:30
.gitignore [tex] add another example in misc.tex 2024-02-21 11:04:29 +05:30
README.org add few old coq files 2023-05-22 14:41:06 +05:30

README.org

README

  • haskell
  • sml
  • agda
  • coq
  • pvs
  • apl
  • c
  • cpp
  • rust
  • python
  • lua
  • bash
  • nusmv
  • risc-v
  • verilog
  • vhdl
  • misc