spl/ivy spl/ivy

  • Stars
    star
    14
  • Rank 1,438,076 (Top 29 %)
  • Language
    OCaml
  • License
    Other
  • Created about 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spl/ivy
github

spl

Reviews

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

Repository Details

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety

More Repositories

1

dlist

Difference lists in Haskell
Haskell
63
star
2

zfs-on-mac

My personal ZFS on macOS instructions and scripts
Shell
56
star
3

homebrew-pdftk

(UNMAINTAINED) Homebrew Formula for PDFtk Server
Ruby
54
star
4

multi-ghc

Tools to support multiple GHC distributions in a Bash shell environment
Shell
14
star
5

font-awesome-type

A Font Awesome data type enumerating all icon classes in Haskell
Haskell
8
star
6

emgm

Extensible and Modular Generics for the Masses
Haskell
6
star
7

basic-category-theory

Source for Basic Category Theory by Tom Leinster
TeX
5
star
8

xformat

Extensible, typed, scanf- and printf-like functions for formatted reading and showing in Haskell
Haskell
5
star
9

alpha-conversion-is-easy

Lean proof of alpha-conversion is easy
Lean
4
star
10

ghc-ver

GHC version selection script for Haskell Platform on Mac OS X
Shell
4
star
11

jhc

Read-only mirror of jhc, a Haskell compiler that aims to produce the most efficient programs possible via whole program analysis and other optimizations
Haskell
4
star
12

talks

Sources of various talks that I've given
Haskell
4
star
13

splonderzoek

Code for blog entries
Haskell
3
star
14

sandbox

A collection of experiments with no relevance to anything else
Haskell
2
star
15

functionalize-functors

A type class for functionalizing functors
Haskell
2
star
16

jhc-darcs

Read-only mirror of the jhc darcs repository
Haskell
2
star
17

generic-deriving-extras

Numerous generic functions that use generic-deriving
Haskell
2
star
18

haskell-box-view

Simple implementation of the Box View API
Haskell
2
star
19

lean-tutorial

Code from working on the Lean tutorial
Lean
1
star
20

spine

Simple implementation of the generic spine view
Haskell
1
star
21

tts

Lean
1
star
22

haskell-marketo

Implementation of parts of the Marketo REST API
Haskell
1
star
23

lhs2TeX-haskell

Customized formatting of Haskell in lhs2TeX
Haskell
1
star
24

bash-config

My bash configuration files
Shell
1
star
25

pdftk

(UNMAINTAINED) Mirror of PDFtk Server
Java
1
star
26

ligd

Lightweight Implementation of Generics and Dynamics
Haskell
1
star
27

http-client-request-modifiers

Convenient monadic HTTP request modifiers
Haskell
1
star
28

haskell-hubspot

Implementation of parts of the HubSpot API
Haskell
1
star
29

network-uri-sandbox

A sandbox for different combinations of network-uri and network dependencies
Shell
1
star
30

church

A simple type-checker for Girard's System Fω in Church-style (each variable must be annotated with it's type)
Haskell
1
star
31

yesod-example-sqlite

A generated (SQLite) Yesod reference example
Haskell
1
star