 Julin S
|
e4d7f2e22d
|
add some files from chris course
|
2024-04-10 17:21:34 +05:30 |
|
Julin S
|
4380c7c126
|
[twelf] start a hello-world kind of file
|
2024-04-07 18:33:16 +05:30 |
|
Julin S
|
118b3a9fe4
|
[beluga] try official tutorial
|
2024-04-06 23:43:16 +05:30 |
|
Julin S
|
26c7c5974b
|
[coq] Add example of HB mathcomp eqtype
|
2024-04-06 12:49:57 +05:30 |
|
Julin S
|
f48d2fec9f
|
[coq] make an attempt to refine mathcomp set
|
2024-04-02 22:06:33 +05:30 |
|
Julin S
|
bfc13603a5
|
Revert "[coq] replicate coq/reglang"
This reverts commit c23231e006.
|
2024-04-01 17:50:04 +05:30 |
|
Julin S
|
c23231e006
|
[coq] replicate coq/reglang
|
2024-04-01 17:48:32 +05:30 |
|
Julin S
|
fc4cb83894
|
[Haskell] Replicate a youtube video make audio
|
2024-03-09 15:47:14 +05:30 |
|
Julin S
|
5e1e1563e6
|
slight edits
|
2024-03-08 13:11:26 +05:30 |
|
Julin S
|
a836af8a44
|
[haskell] add few recent files
|
2024-03-08 11:59:24 +05:30 |
|
Julin S
|
168df58125
|
[coq] fix padR in ohe.v
|
2024-03-06 11:52:49 +05:30 |
|
Julin S
|
08d553e847
|
[coq] ohe.v: add eqb
|
2024-03-06 10:41:06 +05:30 |
|
Julin S
|
391e3de385
|
[coq] update ohe.v to add of_bv
|
2024-03-05 22:54:43 +05:30 |
|
Julin S
|
89a3ab876a
|
[clash] a few clash experiments
|
2024-03-05 22:35:32 +05:30 |
|
Julin S
|
a422453130
|
[coq] add one hot encoding
|
2024-03-04 19:09:17 +05:30 |
|
Julin S
|
0727fa837d
|
[agda] add an example of using record type
|
2024-02-29 23:24:14 +05:30 |
|
Julin S
|
7129e29061
|
[sml] add an old program
|
2024-02-28 13:20:47 +05:30 |
|
Julin S
|
9fa9777064
|
[tex] add turnstile usage example
|
2024-02-28 13:16:55 +05:30 |
|
Julin S
|
8d30806189
|
more old files
|
2024-02-25 12:40:46 +05:30 |
|
Julin S
|
0de0726474
|
add a bunch of old files
|
2024-02-25 12:35:53 +05:30 |
|
Julin S
|
aeb2f06a2a
|
[tex} add 2 tikz examples
|
2024-02-23 11:33:32 +05:30 |
|
Julin S
|
f3071ba4c5
|
[tex] add another example in misc.tex
|
2024-02-21 11:04:29 +05:30 |
|
Julin S
|
c2463a5eb4
|
[tex] place 2 images side by side
|
2024-02-21 10:57:47 +05:30 |
|
Julin S
|
aadedfcc89
|
[tex] start a misc.tex
|
2024-02-20 14:13:40 +05:30 |
|
Julin S
|
6d7bbb8813
|
[tex] labeling table with long brackets
|
2024-02-20 14:11:03 +05:30 |
|
Julin S
|
e60c7efacf
|
[coq] improve string notation example
|
2024-02-09 16:44:09 +05:30 |
|
Julin S
|
5e796ce27d
|
[coq] add example with String Notation
|
2024-02-09 16:31:37 +05:30 |
|
Julin S
|
07640878c6
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
|
Julin S
|
2d42a67707
|
[bash] Try to accept keyboard keycodes via bash
|
2024-01-05 14:34:15 +05:30 |
|
Julin S
|
3239f401be
|
[coq] try some sf1 (lf)
|
2024-01-04 20:53:48 +05:30 |
|
Julin S
|
25dc1bf9ad
|
add a bunch of new stuff
|
2024-01-02 13:13:01 +05:30 |
|
Julin S
|
9a69fea179
|
[coq] use equations plugin for jfp pearl nov 2023
|
2023-11-27 23:48:09 +05:30 |
|
Julin S
|
3a63656658
|
add start of jfp-pearl nov 2023
|
2023-11-27 16:18:55 +05:30 |
|
Julin S
|
4741dcd6a7
|
[coq] add hierarchy-builder example for lattice
|
2023-11-27 16:17:50 +05:30 |
|
Julin S
|
8f53753f7e
|
[Imp] start a parser combinator for Imp lang
|
2023-10-29 21:56:52 +05:30 |
|
Julin S
|
5897e8d04b
|
add some older files
|
2023-10-28 23:38:24 +05:30 |
|
Julin S
|
024945dd43
|
[haskell] make a parser combinator
|
2023-10-28 23:36:11 +05:30 |
|
Julin S
|
8c8228f563
|
[coq] [mathcomp] add few mathcomp egs
|
2023-10-27 14:22:33 +05:30 |
|
Julin S
|
d9fd5c6b39
|
[ocaml] include CmdLiner package example
|
2023-10-24 10:28:47 +05:30 |
|
Julin S
|
7ed97ca479
|
[ocaml] try a monad module type
|
2023-10-20 12:12:22 +05:30 |
|
Julin S
|
afc3ca06bf
|
[coq] [mathcomp2] comSemiRing example
|
2023-10-19 12:05:03 +05:30 |
|
Julin S
|
8cb107c63c
|
[coq] [mathcomp] make ssreflect version of bool3
|
2023-10-13 22:35:18 +05:30 |
|
Julin S
|
4f3524269f
|
[coq] commutative semi ring
|
2023-10-12 13:07:43 +05:30 |
|
Julin S
|
c49c2c3d96
|
[coq] [mathcomp] make matrix to vector function
|
2023-10-11 11:10:46 +05:30 |
|
Julin S
|
e72f7c7457
|
[coq] add number notation example
|
2023-10-09 12:44:13 +05:30 |
|
Julin S
|
0da344b045
|
[cpp] make tmp/list.cpp
|
2023-10-01 10:35:55 +05:30 |
|
Julin S
|
7ade069098
|
[haskell] redoing Hlist.hs
|
2023-09-30 12:40:17 +05:30 |
|
Julin S
|
bd923a9976
|
[cpp] try some template metaprogramming
|
2023-09-29 17:19:59 +05:30 |
|
Julin S
|
5685da9e7a
|
[haskell] Try some ghc extensions
|
2023-09-25 22:44:24 +05:30 |
|
Julin S
|
c3c94f3e35
|
[coq] start bool matrix stuff
|
2023-09-24 15:46:07 +05:30 |