Go to file
Julin S fc4cb83894 [Haskell] Replicate a youtube video make audio 2024-03-09 15:47:14 +05:30
agda [agda] add an example of using record type 2024-02-29 23:24:14 +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 add a bunch of old files 2024-02-25 12:35:53 +05:30
bsv add a bunch of old files 2024-02-25 12:35:53 +05:30
c more old files 2024-02-25 12:40:46 +05:30
clash [haskell] add few recent files 2024-03-08 11:59:24 +05:30
coq [haskell] add few recent files 2024-03-08 11:59:24 +05:30
cpp [cpp] make tmp/list.cpp 2023-10-01 10:35:55 +05:30
elisp more old files 2024-02-25 12:40:46 +05:30
fstar more old files 2024-02-25 12:40:46 +05:30
haskell [Haskell] Replicate a youtube video make audio 2024-03-09 15:47:14 +05:30
latex [tex] add turnstile usage example 2024-02-28 13:16:55 +05:30
lean4 more files including prf files of pvs 2023-05-23 22:25:17 +05:30
lua add a bunch of old files 2024-02-25 12:35:53 +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 a bunch of old files 2024-02-25 12:35:53 +05:30
prolog add a bunch of old files 2024-02-25 12:35:53 +05:30
pvs [sml] add an old program 2024-02-28 13:20:47 +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 [sml] add an old program 2024-02-28 13:20:47 +05:30
verilog various 2023-04-26 22:34:49 +05:30
vhdl add a bunch of old files 2024-02-25 12:35:53 +05:30
vimscript add a bunch of old files 2023-05-23 22:04:54 +05:30
.gitignore [tex} add 2 tikz examples 2024-02-23 11:33:32 +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