Kakadu/lama-compiler-2022 Kakadu/lama-compiler-2022

  • This repository has been archived on 17/Aug/2023
  • Stars
    star
    2
  • Language
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kakadu/lama-compiler-2022
github

Kakadu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Homework as PR should go here.

More Repositories

1

lablqml

Interfacing Qt/QML with OCaml. Formely known as lablqt
OCaml
157
star
2

zanuda

OCaml linter
OCaml
63
star
3

camlyaml

YAML parser for OCaml
OCaml
11
star
4

fp2023

OCaml
11
star
5

Neznaju

Discontinued. Kate plugin for collaborated editing
C++
7
star
6

ocaml-neo4j

API to access Neo4j database via REST
OCaml
6
star
7

fp2022

OCaml
5
star
8

ocaml-pgn

Parser for chess Portable Game Format
OCaml
4
star
9

Falka

A tool for using fsyacc and parser-combinators together.
F#
4
star
10

ocaml-qt-android-demo

Hello world about lablqt: OCaml+Qt on Android
Makefile
4
star
11

LogicT-demos

Updated demos for a paper `Backtracking, Interleaving, and Terminating Monad Transformers`
Haskell
4
star
12

comp23hw

OCaml
3
star
13

ppx_gt

OCaml
3
star
14

qml-test-2

C++
3
star
15

QOcamlBrowser_quick

A clone of ocamlbrowser application written in OCaml+QtQuick 2.0 using lablqt library and mocml generator.
OCaml
3
star
16

proelium

Civilization III - like fighting model.
C++
3
star
17

osm-parser

an example for thedeemons article about parser combinators
OCaml
3
star
18

test-qml-jsoo

Demo for QtQuick and Js_of_ocaml integration.
Makefile
3
star
19

fastware

Some performance microbenchmarking for OCaml
OCaml
2
star
20

kakadu.github.io

TeX
2
star
21

bitvector-mk

OCaml
2
star
22

bakmachine

Yet another virtual machine for a toy language
OCaml
2
star
23

OCanren-basic-template

A template repository for relational programming using OCanren
OCaml
2
star
24

Triss

Haxe IDE
OCaml
2
star
25

xcp-xapi

Sandpit for xcp-xapi from wheezy
OCaml
2
star
26

Qt_libusb

Qt GUI with libusb integration example.
C++
2
star
27

vcaml

Playground about symbolic interpreters
OCaml
2
star
28

klogic_of_ocanren

OCaml
1
star
29

ocanren-perf

Benchmarks for different miniKanren implementations
OCaml
1
star
30

BakmachineHS

Haskell
1
star
31

logger

Svn mirror of http://oops.math.spbu.ru/projects/logger/
OCaml
1
star
32

settings

Svn mirror of http://oops.math.spbu.ru/projects/settings/
OCaml
1
star
33

dune-demo-two-ppxes

OCaml
1
star
34

barbra

OCaml
1
star
35

Megaclops

Haskell
1
star
36

unicanren

OCaml
1
star
37

phil_asp

1
star
38

bigbro

Haxe
1
star
39

tarjan

Implementation of Tarjan's algotithm for OCamlGraph library
OCaml
1
star
40

sdl_ocaml_examples

OCaml
1
star
41

pp_sexp

Pretty-printing of s-expressions. Implemented in OCaml
OCaml
1
star
42

camloogle

Hoogle for OCaml using Ocsigen
1
star
43

qml-test

qml-test
C++
1
star
44

YEAPMM

Yet Another APM Meter
C++
1
star
45

ldd-2011

My practices on Linux Device Drivers course
C
1
star
46

checked

Svn mirror of http://oops.math.spbu.ru/projects/checked\/
OCaml
1
star
47

haskell-exam-arithm

Haskell
1
star
48

test-nix-ocaml

OCaml
1
star
49

obsidian-timelines-workout

TypeScript
1
star
50

typeutil

Svn mirror of http://oops.math.spbu.ru/projects/typeutil/
OCaml
1
star