ska80/idris2-server ska80/idris2-server

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Idris
  • Created about 4 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ska80/idris2-server
github

ska80

Reviews

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

Repository Details

A dependently typed server framework for Idris

More Repositories

1

tinygl

TinyGL : a Small, Free and Fast Subset of OpenGL*
C
48
star
2

thinlisp

ThinLisp is an open source Lisp to C translator.
Common Lisp
29
star
3

cl-muproc

Fork of CL-MUPROC
Common Lisp
6
star
4

cltl2-docs

Common Lisp the Language, 2nd Edition
TeX
3
star
5

qemacs

QEmacs (for Quick Emacs) is a very small but powerful UNIX editor
C
2
star
6

cl-http

The Common Lisp Hypermedia Server (CL-HTTP)
Common Lisp
2
star
7

bpss

Code for "Building Problem Solvers" book
Common Lisp
1
star
8

lw-doc

A permuted index for the LispWorks documentation
Common Lisp
1
star
9

idris-okasaki-pfds

"Purely Functional Data Structures", by Chris Okasaki
Idris
1
star
10

pal

Fast and friendly 2d game library for Common Lisp
Common Lisp
1
star