Mysaa
0 Followers · 0 Following
Repositories
44
 Projects Packages Public Activity Starred Repositories
Mysaa pushed to master at Mysaa/Logikraft 2024-05-20 00:14:54 +02:00
ef8b8910b0 Completed the Editor
abbc9b3d07 Rework codebase - Added Editor
Compare 2 commits »
Mysaa pushed to master at Mysaa/Logikraft 2024-05-19 00:16:38 +02:00
9d3ab2f0e0 Added a lot of circuits code
Mysaa pushed to master at Mysaa/Logikraft 2024-05-18 20:44:28 +02:00
3ea8517ff9 Added the resizer
6e4c9f1b02 Fixed the linker
Compare 2 commits »
Mysaa pushed to master at Mysaa/Logikraft 2024-05-18 20:07:36 +02:00
3d9944921f Rewrite of the linker
Mysaa pushed to master at Mysaa/Logikraft 2024-05-18 14:48:15 +02:00
3d633619c4 Added components
Mysaa pushed to master at Mysaa/Logikraft 2024-05-18 01:20:03 +02:00
5873ebdd77 Started generalizing component
55f9fa3367 Changed mod name to logikraft
Compare 2 commits »
Mysaa created branch master in Mysaa/Logikraft 2024-05-15 21:03:51 +02:00
Mysaa pushed to master at Mysaa/Logikraft 2024-05-15 21:03:51 +02:00
7524c13e7a First commit, workinging sample
Mysaa created repository Mysaa/Logikraft 2024-05-15 21:01:30 +02:00
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-04-14 18:03:38 +02:00
e059dee37c BOO2
Mysaa pushed to master at Mysaa/scribblers-wordlists 2024-04-07 02:27:57 +02:00
29dbaad94d BOO
Mysaa pushed to main at Mysaa/mpri-2.4-project-2023-2024 2024-03-15 02:35:38 +01:00
62f0389c94 Implementend Generator, does not work
024513767f Implemnted (most) of MSeq monad
8d3f175a82 Added solver for Functor actions
88994419e3 Added a test and fixed two inference bugs
8f45228e1d The solver works ... well at least it compiles
Compare 8 commits »
Mysaa pushed to main at Mysaa/mpri-2.4-project-2023-2024 2024-02-16 00:20:09 +01:00
1fc5a46904 Tried to implement Var and Abs has_type method ...
f600a1b212 Backed up the original run.t file for comparison. Did the first dune promote (nothing works)
fd0213fe82 fix a ConstraintSimplifier bug
1f2bf2bb13 MSeq and MRand documentation: give an example.
44d184b6d4 Infer.has_type: include a full example of a constraint that works for (lambda x. x)
Compare 10 commits »
Mysaa created branch main in Mysaa/mpri-2.4-project-2023-2024 2024-02-16 00:20:09 +01:00
Mysaa created repository Mysaa/mpri-2.4-project-2023-2024 2024-02-16 00:19:39 +01:00
Mysaa created branch master in Mysaa/ProofOfProgramsProject 2024-01-29 17:32:30 +01:00
Mysaa pushed to master at Mysaa/ProofOfProgramsProject 2024-01-29 17:32:30 +01:00
7efbcb75cf First Commit - As the teacher gave it
Mysaa created repository Mysaa/ProofOfProgramsProject 2024-01-29 17:30:47 +01:00
Mysaa pushed to master at Mysaa/misael 2024-01-16 16:36:29 +01:00
4c975e7a37 Première version de misael
Mysaa created branch master in Mysaa/misael 2024-01-16 16:36:29 +01:00