jmars/Records jmars/Records

  • Stars
    star
    9
  • Rank 1,903,802 (Top 39 %)
  • Language Idris
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jmars/Records
github

jmars

Reviews

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

Repository Details

Dependently Typed Extensible Records with Prototypal Inheritance

More Repositories

1

jquery-browserify

JavaScript
54
star
2

shen-luajit

Shen Luajit Implementation
Lua
9
star
3

purescript-concur-morphdom

A morphdom backend of purescript-concur
PureScript
6
star
4

drum

A BitCask inspired storage API for Rust.
Rust
4
star
5

shen-ocaml

OCaml
2
star
6

portmanteau

JavaScript
2
star
7

savant

Dart
1
star
8

remote

very simple RPC
JavaScript
1
star
9

shen-json

A shen json parser
Shen
1
star
10

Nebuchadnezzar

C
1
star
11

ouroboros

A metacircular javascript engine
JavaScript
1
star
12

memory

memory module to use lljs in node
JavaScript
1
star
13

future

simplest possible future object
1
star