Kakadu/ldd-2011 Kakadu/ldd-2011

  • Stars
    star
    1
  • Language
    C
  • Created over 13 years ago
  • Updated about 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kakadu/ldd-2011
github

Kakadu

Reviews

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

Repository Details

My practices on Linux Device Drivers course

More Repositories

1

lablqml

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

zanuda

OCaml linter
OCaml
60
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

LogicT-demos

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

ocaml-qt-android-demo

Hello world about lablqt: OCaml+Qt on Android
Makefile
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

lama-compiler-2022

Homework as PR should go here.
2
star
21

kakadu.github.io

TeX
2
star
22

bitvector-mk

OCaml
2
star
23

bakmachine

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

OCanren-basic-template

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

Triss

Haxe IDE
OCaml
2
star
26

xcp-xapi

Sandpit for xcp-xapi from wheezy
OCaml
2
star
27

Qt_libusb

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

vcaml

Playground about symbolic interpreters
OCaml
2
star
29

klogic_of_ocanren

OCaml
1
star
30

ocanren-perf

Benchmarks for different miniKanren implementations
OCaml
1
star
31

BakmachineHS

Haskell
1
star
32

logger

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

settings

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

dune-demo-two-ppxes

OCaml
1
star
35

barbra

OCaml
1
star
36

Megaclops

Haskell
1
star
37

unicanren

OCaml
1
star
38

phil_asp

1
star
39

bigbro

Haxe
1
star
40

tarjan

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

sdl_ocaml_examples

OCaml
1
star
42

pp_sexp

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

camloogle

Hoogle for OCaml using Ocsigen
1
star
44

qml-test

qml-test
C++
1
star
45

YEAPMM

Yet Another APM Meter
C++
1
star
46

checked

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

typeutil

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

haskell-exam-arithm

Haskell
1
star
49

test-nix-ocaml

OCaml
1
star
50

obsidian-timelines-workout

TypeScript
1
star