vegowotenks

vegowotenks pushed to trunk at vegowotenks/hase

2025-07-31 23:50:10 +02:00

c5dbfdf903 Hello World

vegowotenks created repository vegowotenks/hase

2025-07-31 23:47:27 +02:00

vegowotenks pushed to trunk at vegowotenks/solvedoku

2025-07-19 01:41:00 +02:00

eeedecc9ee feat: better rendering

vegowotenks pushed to trunk at vegowotenks/solvedoku

2025-07-18 18:05:50 +02:00

e1f2d5b5ef feat: documentation and box layout

vegowotenks created branch trunk in vegowotenks/solvedoku

2025-07-18 16:42:29 +02:00

vegowotenks pushed to trunk at vegowotenks/solvedoku

2025-07-18 16:42:29 +02:00

cd5de79e24 feat: implemented the program

vegowotenks created repository vegowotenks/solvedoku

2025-07-18 16:42:20 +02:00

vegowotenks pushed to trunk at vegowotenks/java-classfile

2025-07-13 13:25:08 +02:00

547187e428 License + GADT

vegowotenks created branch trunk in vegowotenks/java-classfile

2025-07-13 12:02:09 +02:00

vegowotenks pushed to trunk at vegowotenks/java-classfile

2025-07-13 12:02:09 +02:00

cc83c07086 doc: License

2d079b5873 feat[types]: ConstantPool uses GADT instead of data family

f85f3f8b79 doc: everything

e30e3b02e1 feat: Reference type family

00898b18dc feat: partial classfile staging

Compare 10 commits »

vegowotenks created repository vegowotenks/java-classfile

2025-07-13 11:58:50 +02:00

vegowotenks pushed to main at vegowotenks/hc

2025-07-04 10:07:46 +02:00

38ed3f1be8 Ran a Language server on my old code

vegowotenks pushed to trunk at vegowotenks/bf-optimize

2025-06-29 14:35:44 +02:00

a264e3dc57 fix[compressed]: FIRST BUG, the Num instance for Natural is broken

7839627592 feat[app]: dumping all the instruction forms

b44e238907 doc[extended]: examples and exports

9dfbb4fb1e feat[modules]: give datatypes their own file

0411e8af19 doc[haddock]: examples and comments

Compare 9 commits »

vegowotenks pushed to trunk at vegowotenks/bf-optimize

2025-06-29 10:31:44 +02:00

63f3b31dbb fix[parse]: Clones the result vector only once.

vegowotenks pushed to trunk at vegowotenks/bf-optimize

2025-06-29 10:23:39 +02:00

f9fd24261a fix: function naming

a94455f365 change the compiler version for better HLS support

7705371b6b feat: Natural instead of Ints for nonnegativity

2fc0d46ee9 fix: doc code comment

Compare 4 commits »

vegowotenks pushed to trunk at vegowotenks/bf-optimize

2025-06-23 14:56:32 +02:00

1b20f4ef71 fix[test]: missing argument to function

40ce94ab7b feat[compressed]: ability to uncompress

f05da30c8a feat: documentation

d012307d19 feat: tests for the rendering/parsing

9484d097d4 feat: StrictData + Unbounded Integer types

Compare 6 commits »

vegowotenks created branch trunk in vegowotenks/bf-optimize

2025-06-18 13:14:41 +02:00

vegowotenks pushed to trunk at vegowotenks/bf-optimize

2025-06-18 13:14:41 +02:00

cbccc8253b I already did a lot of things

vegowotenks created repository vegowotenks/bf-optimize

2025-06-18 13:14:31 +02:00

vegowotenks pushed to main at vegowotenks/utilitiec

2025-06-13 16:30:58 +02:00

26179d76aa Exceptions in C!