famubu/playground
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
100 Commits 1 Branch 0 Tags 660 KiB
Coq 42.3%
Haskell 27.7%
Standard ML 5.8%
VHDL 3.1%
TeX 2.8%
Other 18.1%
master
Go to file
Julin S 74794d1d28 snax: add hw1 from Pfenning OPLSS'24
2024-07-23 23:38:34 +05:30
agda add some clash experiments 2024-07-16 11:23:23 +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
beluga [beluga] try official tutorial 2024-04-06 23:43:16 +05:30
bsv some bsv, clash, coq, agda 2024-05-27 16:53:12 +05:30
c more old files 2024-02-25 12:40:46 +05:30
clash add some clash experiments 2024-07-16 11:23:23 +05:30
coq more random stuff 2024-05-27 16:56:40 +05:30
cpp [cpp] make tmp/list.cpp 2023-10-01 10:35:55 +05:30
easycrypt bunch of files 2024-05-27 16:49:00 +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 more random stuff 2024-05-27 16:56:40 +05:30
latex add a tikz picture 2024-07-17 17:52:29 +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 [ocaml] add another 'raw' cmd arg example 2024-05-27 16:46:26 +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 bunch of files 2024-05-27 16:49:00 +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
snax snax: add hw1 from Pfenning OPLSS'24 2024-07-23 23:38:34 +05:30
tcl add a tcl snippet for vivado 2024-05-22 13:36:20 +05:30
twelf add some files from chris course 2024-04-10 17:21:34 +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 Revert "[coq] replicate coq/reglang" 2024-04-01 17:50:04 +05:30
README.org [beluga] try official tutorial 2024-04-06 23:43:16 +05:30

README.org

README

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