A compiler for a statically-typed relational programming language written in OCaml

compiler logic-programming nix nix-flake ocaml relational-databases
2 Open Issues Need Help Last updated: Jul 18, 2025

Open Issues Need Help

View All on GitHub
Compiler Language Implementation

AI Summary: Implement command-line argument parsing for an OCaml compiler. The arguments should allow specifying input files to compile and an optional debug flag (`-d` or `--debug`). Use the OCaml `Arg` module for argument parsing.

Complexity: 3/5
good first issue

A compiler for a statically-typed relational programming language written in OCaml

OCaml
#compiler#logic-programming#nix#nix-flake#ocaml#relational-databases
Compiler Language Implementation

AI Summary: Address non-exhaustive pattern matching in the Karuta compiler's Code Generator and Evaluator modules. This involves identifying all instances of incomplete pattern matching, and handling these cases by raising appropriate exceptions. The provided links offer potential solutions and starting points for this task.

Complexity: 4/5
good first issue

A compiler for a statically-typed relational programming language written in OCaml

OCaml
#compiler#logic-programming#nix#nix-flake#ocaml#relational-databases