Kakadu/Neznaju Kakadu/Neznaju

  • This repository has been archived on 14/Apr/2021
  • Stars
    star
    7
  • Rank 2,252,960 (Top 46 %)
  • Language
    C++
  • Created about 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Kakadu/Neznaju
github

Kakadu

Reviews

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

Repository Details

Discontinued. Kate plugin for collaborated editing

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

ocaml-neo4j

API to access Neo4j database via REST
OCaml
6
star
6

fp2022

OCaml
5
star
7

ocaml-pgn

Parser for chess Portable Game Format
OCaml
4
star
8

Falka

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

LogicT-demos

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

ocaml-qt-android-demo

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

comp23hw

OCaml
3
star
12

ppx_gt

OCaml
3
star
13

qml-test-2

C++
3
star
14

QOcamlBrowser_quick

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

proelium

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

osm-parser

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

test-qml-jsoo

Demo for QtQuick and Js_of_ocaml integration.
Makefile
3
star
18

fastware

Some performance microbenchmarking for OCaml
OCaml
2
star
19

lama-compiler-2022

Homework as PR should go here.
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

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