lexi-lambda/libsol lexi-lambda/libsol

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    C
  • License
    Other
  • Created almost 12 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lexi-lambda/libsol
github

lexi-lambda

Reviews

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

Repository Details

A C runtime for the sol programming language.

More Repositories

1

hackett

WIP implementation of a Haskell-like Lisp in Racket
Racket
1,149
star
2

freer-simple

A friendly effect system for Haskell
Haskell
222
star
3

eff

๐Ÿšง a work in progress effect system for Haskell ๐Ÿšง
Haskell
113
star
4

mtl-style-example

A small example of using mtl style to unit test effectful code
Haskell
106
star
5

higher-rank

A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Haskell
101
star
6

racket-r7rs

An implementation of R7RS in Racket
Racket
92
star
7

megaparsack

Racket parser combinators inspired by parsack and megaparsec
Racket
76
star
8

racket-collections

Generic collections API for Racket
Racket
52
star
9

blackboard

A (very) unfinished OpenType Math layout and rendering engine in Racket
Racket
51
star
10

threading

Threading macros for Racket
Racket
47
star
11

talks

Racket
42
star
12

functional

Functional interfaces and datatypes for Racket
Racket
42
star
13

monad-validate

A Haskell monad transformer library for data validation
Haskell
35
star
14

shattered-plans

Java
31
star
15

racket-commonmark

Fast, CommonMark-compliant Markdown parser written in Racket
Racket
31
star
16

heroku-buildpack-racket

a Heroku buildpack for deploying apps written in Racket
Shell
27
star
17

lexi-lambda.github.io

Racket
27
star
18

racket-mvar

An implementation of Haskellโ€™s MVars in Racket
Racket
27
star
19

mini-ml

An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
Racket
21
star
20

racket-higher-rank

Racket
21
star
21

envy

An environment variable manager for Racket applications
Racket
17
star
22

racket-curly-fn

A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
Racket
16
star
23

racket-tulip

Racket
15
star
24

racket-alexis-collections

Deprecated. Use https://github.com/lexi-lambda/racket-collections instead.
Racket
12
star
25

racket-multimethod

Proof-of-concept, mostly safe multimethods in Racket
Racket
11
star
26

case-kw-lambda

Racket
11
star
27

racket-alexis-pvector

Deprecated. Use https://github.com/lexi-lambda/racket-pvector instead.
Racket
11
star
28

scripty

Distributable shell scripts with dependencies
Racket
10
star
29

racket-macro-exercises

Small macro challenges to help learn Racketโ€™s macro system
Racket
9
star
30

lens-examples

A handful of small examples of parts of the Haskell `lens` package
Haskell
8
star
31

racket-2htdp-typed

A port of 2htdp to Typed Racket
Racket
8
star
32

learning-haskell

Racket
8
star
33

racket-pvector

Fast, immutable, persistent vectors for Racket
Racket
8
star
34

dotfiles

Racket
7
star
35

namespaced-transformer

Racket
6
star
36

racket-sample-heroku-app

a sample Racket application for deployment to Heroku
Racket
6
star
37

factorio-blueprints

Makefile
6
star
38

syntax-classes

Racket
5
star
39

SimpleJail

Simplistic Jail plugin for Bukkit
Java
5
star
40

clojure-fuzzy-urls

Clojure
5
star
41

struct-update

Racket
5
star
42

th-to-exp

Deprecated. Use Language.Haskell.TH.Syntax.Lift instead.
Haskell
4
star
43

aws-cloudformation-template

Racket
4
star
44

litpub

A small Medium clone in Racket designed for publishing stories
Racket
4
star
45

decontaminate

A Ruby DSL for extracting data from complicated XML documents
Ruby
3
star
46

alexis-collection-lens

Lens provider for Racket generic collections
Racket
3
star
47

SNESTile

A cross-platform SNES graphics editor.
Java
3
star
48

collections-lens

Lenses for Racket generic collections
Racket
3
star
49

racket-irc-client

Racket
3
star
50

racket-alexis

Various personal libraries and utilities for Racket
Racket
3
star
51

racket-match-plus

Racket
2
star
52

rackunit-spec

Racket
2
star
53

simple_split

dead simple A/B testing on Rails
Ruby
2
star
54

haskell-rolodex

Haskell
2
star
55

type-assertions

Runtime type assertions for testing
Haskell
1
star
56

monads-lecture

Haskell
1
star
57

racket-vector-struct

Racket
1
star
58

racket-semver

A Racket implementation of the semver specification
Racket
1
star
59

imgcap

Racket
1
star
60

incremental

Haskell
1
star
61

ut2k4-team-stats

A simple app that uses the data from the UT2k4 Stats server to track the performance of team duos
Racket
1
star
62

template-dom

A library for creating (V)DOM nodes using ES2015 tagged template strings
JavaScript
1
star