rizo/idris-graph rizo/idris-graph

  • Stars
    star
    1
  • Language Idris
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rizo/idris-graph
github

rizo

Reviews

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

Repository Details

Minimal graph model implementation in Idris.

More Repositories

1

onix

Build OCaml projects with Nix.
OCaml
55
star
2

helix

Build reactive web interfaces in OCaml.
OCaml
43
star
3

ppx_rule

Compile-time rewrite rules for OCaml
OCaml
18
star
4

dataflow

Simple, secure and composable abstraction for construction of efficient data flows.
OCaml
17
star
5

streams-bench

Benchmarks for different streaming models: iterators, generators, sequences, transducers, etc.
OCaml
14
star
6

ocaml-glfw

This package provides OCaml bindings for GLFW.
OCaml
14
star
7

streaming-zoo

Implementations of common streaming abstractions in OCaml.
OCaml
14
star
8

iter

Efficient functorized iterators for OCaml.
OCaml
13
star
9

io

Simple, secure and composable I/O abstraction for construction of efficient computation workflows.
OCaml
10
star
10

ocaml-by-example

Code examples for OCaml.
OCaml
10
star
11

rego

Reasonable Go.
OCaml
10
star
12

transducers

An experimental implementation of Clojure's Transducers in OCaml
OCaml
9
star
13

signal

Reactive signals for OCaml.
OCaml
9
star
14

ppx_macro

A syntax extension that helps you build syntax extensions.
OCaml
8
star
15

ppx_monad

Minimalistic monad syntax for OCaml.
OCaml
7
star
16

elements

Elements is a small and modular base library for OCaml.
OCaml
7
star
17

optimist

Everything is going to be Ok.
OCaml
7
star
18

meta

Personal hacking experiments with OCaml compiler infrastructure .
OCaml
6
star
19

snowflake-os

Automatically exported from code.google.com/p/snowflake-os
OCaml
5
star
20

ppx_lambda

Simplified lambda syntax extension for OCaml.
OCaml
4
star
21

onix-examples

Nix
4
star
22

ason

Abstract JSON encoders and decoders
OCaml
4
star
23

pusher-http-ocaml

OCaml library for interacting with the Pusher HTTP API
OCaml
3
star
24

Nanogear

Web interface for Qt library
C++
3
star
25

wowcamldebug

A fork of WOnderful (g)Vim oCAML DEBUGger
OCaml
3
star
26

Workflow

An ontological approach to manage workflows.
C
3
star
27

code

Experimental and mostly broken staged programming in stock OCaml.
OCaml
3
star
28

hello-melange-onix

A simple melange app with native dune support and onix for dependency management.
Nix
3
star
29

ether

A small base library for OCaml designed from the ground up for consistent, safe and user-friendly development experience.
OCaml
3
star
30

lambda-lab

Personal experiments with functional programming – design, abstractions, monads, functors, and other hallucinogenic constructs.
OCaml
2
star
31

CATextLayerLab

A simple example demonstrating CoreAnimation text layer features.
Objective-C
2
star
32

stdweb

OCaml bindings for browser's Web APIs.
OCaml
2
star
33

ocaml-playground

OCaml playground
OCaml
2
star
34

ppx_format

Simple syntax for string formatters.
OCaml
2
star
35

reason-hello

Basic project configuration for Reason with jbuilder.
OCaml
2
star
36

primitives

Primitive data types and interfaces for OCaml.
OCaml
2
star
37

ocaml-notes

Demo project for OCaml
OCaml
2
star
38

ocaml-nanovg

NanoVG bindings for OCaml
C
2
star
39

diamond

Diamod aims to be a cross-platform graphical interface application framework for the D programming language.
2
star
40

dataframe

Data frame implementation for OCaml
1
star
41

zmq-config

1
star
42

RWT-Introduction-CALayer

The demo I've composed with the Tutorial "Introduction to CALayer Tutorial" from the Ray Wenderlich Web site
Objective-C
1
star
43

racket-resources

A collection of learning materials on Racket language.
1
star
44

jx

Work with JavaScript values in OCaml.
OCaml
1
star
45

nixer

Nix-powered container bundles
Nix
1
star
46

fold-pratt

Archive version of the pratt-based implementation of Fold
OCaml
1
star
47

sparkling-cassandra

Cassandra Bindings for Flambo (& Spark)
Clojure
1
star
48

resume

LaTeX classes and templates for my resume
TeX
1
star