jmars/Records jmars/Records

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language Idris
  • Created almost 10 years ago
  • Updated almost 10 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

remote

very simple RPC
JavaScript
1
star
8

Nebuchadnezzar

C
1
star
9

savant

Dart
1
star
10

ouroboros

A metacircular javascript engine
JavaScript
1
star
11

memory

memory module to use lljs in node
JavaScript
1
star
12

future

simplest possible future object
1
star
13

shen-json

A shen json parser
Shen
1
star