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
|
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
|
07640878c6
|
a mass commit
|
2024-01-10 14:39:27 +05:30 |
Julin S
|
8f53753f7e
|
[Imp] start a parser combinator for Imp lang
|
2023-10-29 21:56:52 +05:30 |
Julin S
|
024945dd43
|
[haskell] make a parser combinator
|
2023-10-28 23:36:11 +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
|
2453a7a5fc
|
[clash] Regex.hs testbench works
|
2023-09-23 22:14:04 +05:30 |
Julin S
|
88943fe14d
|
[clash] expand Regex.hs
|
2023-09-23 16:05:03 +05:30 |
Julin S
|
a5da51e0dd
|
[clash] add a non-synthesizable experiment
|
2023-09-21 21:11:04 +05:30 |
Julin S
|
1c606f0326
|
[clash] update Voter.hs to avoid list
|
2023-09-21 09:53:57 +05:30 |
Julin S
|
0b1d4a05e9
|
[clash] include haskell/Voter.hs
|
2023-09-20 23:09:46 +05:30 |
Julin S
|
54d91dc6cf
|
[haskell] add newton-raphson square root program
|
2023-08-18 17:23:57 +05:30 |
Julin S
|
09ede3acde
|
[haskell] brzozowski derivative
|
2023-06-26 17:12:11 +05:30 |
Julin S
|
3db48e8232
|
include old haskell files
|
2023-05-23 22:52:25 +05:30 |
Julin S
|
bc96438a06
|
more unfinished coq files
|
2023-05-23 22:38:33 +05:30 |
Julin S
|
6a5dbec769
|
[coq] bitvectors and 'sets'
|
2023-05-15 17:03:26 +05:30 |
Julin S
|
081f13ab50
|
add 8/99 haskell problems and some of hottest-2022
|
2023-05-02 15:04:44 +05:30 |
Julin S
|
c800042ddb
|
various old stuff
|
2023-04-26 22:32:37 +05:30 |