Emin Arslan haxala1r

1 Followers · 1 Following

• https://git.emin.engineer
• Joined on 2024-11-15

Repositories

9

Projects Packages Public Activity Starred Repositories

1

haxala1r pushed to compiler at haxala1r/olisp 2026-02-05 20:13:17 +00:00

b2e3f5703b ci: update dune-project to add menhir dependency

haxala1r pushed to compiler at haxala1r/olisp 2026-02-05 20:10:12 +00:00

2d038279f2 ci: add directive in dune to generate opam file

haxala1r pushed to compiler at haxala1r/olisp 2026-02-05 20:05:54 +00:00

fae7bd8077 ci: Add a woodpecker workflow to publish a nightly amd64 version

haxala1r opened issue haxala1r/olisp#2 2026-02-05 19:32:17 +00:00

Make a new interpreter

haxala1r opened issue haxala1r/olisp#1 2026-02-05 19:27:31 +00:00

Finish Closure Conversion

haxala1r pushed to compiler at haxala1r/olisp 2026-02-04 21:29:47 +00:00

5e91f6e8fa correct the design document for closure conversion

haxala1r pushed to compiler at haxala1r/olisp 2026-02-04 19:55:12 +00:00

7cdd4ee759 updated the design document

a250d96c63 core_ast: remove letrec comment

Compare 2 commits »

haxala1r pushed to compiler at haxala1r/olisp 2026-02-02 19:37:14 +00:00

3a3bf2c674 core_ast: removed letrec. we now treat it as let + set.

7402a688c7 compiler: remove unused files

Compare 2 commits »

haxala1r pushed to compiler at haxala1r/olisp 2026-02-02 17:33:34 +00:00

ed4f49311c syntactic_ast: unwrapped the central GADT into several related types.

haxala1r pushed to compiler at haxala1r/olisp 2026-02-02 16:53:30 +00:00

bd907fe69a minor changes

haxala1r pushed to compiler at haxala1r/olisp 2026-01-16 19:34:45 +00:00

d7729571ea core_ast: modify the core ast to use unary functions

haxala1r synced and deleted reference refs/tags/v1.0 at haxala1r/Se302 from mirror 2026-01-16 10:50:37 +00:00

haxala1r pushed to compiler at haxala1r/olisp 2026-01-16 10:15:15 +00:00

6e8e345388 ci: change the debian and fedora workflows to not ask for user input

haxala1r released v1.0 at haxala1r/Se302 2026-01-16 10:01:13 +00:00

haxala1r pushed tag v1.0 to haxala1r/Se302 2026-01-16 10:01:13 +00:00

haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:49:38 +00:00

78c2e4c335 ci: move nixos build, rename debian build

haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:46:47 +00:00

aeb8e89526 ci: rename the debian workflow, add fedora workflow

haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:40:32 +00:00

12b347de38 general: removed containers dependency

haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 18:22:34 +00:00

67bd37eaa2 ci: add menhir to the debian build workflow

haxala1r pushed to compiler at haxala1r/olisp 2026-01-14 09:47:03 +00:00

5b6ed1beb5 ci: fix findlib package name