Alexis King (lexi-lambda)

lexi-lambda

Geek Repo

Location:Chicago, IL

Home Page:https://lexi-lambda.github.io

Twitter:@lexi_lambda

Github PK Tool:Github PK Tool


Organizations
racket
tweag

Alexis King's repositories

mtl-style-example

A small example of using mtl style to unit test effectful code

Language:HaskellLicense:ISCStargazers:106Issues:5Issues:0

higher-rank

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

Language:HaskellLicense:ISCStargazers:101Issues:8Issues:3

mini-ml

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

Language:RacketStargazers:21Issues:3Issues:0
Language:RacketLicense:ISCStargazers:21Issues:4Issues:0

racket-macro-exercises

Small macro challenges to help learn Racket’s macro system

Language:RacketStargazers:9Issues:0Issues:0

racket-2htdp-typed

A port of 2htdp to Typed Racket

racket-pvector

Fast, immutable, persistent vectors for Racket

Language:RacketLicense:ISCStargazers:8Issues:0Issues:0

th-to-exp

Deprecated. Use Language.Haskell.TH.Syntax.Lift instead.

Language:HaskellLicense:ISCStargazers:4Issues:0Issues:0

ide-haskell-hie

Atom LSP plugin for HIE (Haskell IDE Engine)

Language:JavaScriptLicense:MITStargazers:1Issues:2Issues:0
Language:RacketStargazers:1Issues:0Issues:0

type-assertions

Runtime type assertions for testing

Language:HaskellLicense:ISCStargazers:1Issues:0Issues:0

amazonka

A comprehensive Amazon Web Services SDK for Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

atom-languageclient

Language Server Protocol support for Atom (the basis of Atom-IDE)

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:0Issues:0

drracket

DrRacket, IDE for Racket

Language:RacketStargazers:0Issues:0Issues:0

ekg

Remote monitoring of running processes over HTTP

Language:JavaScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

haskell-docker-builder

Package haskell binaries as docker images

Language:MakefileLicense:MITStargazers:0Issues:0Issues:0

haskell-src-meta

Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hs-jose

Haskell JOSE and JWT library

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pollen

book-publishing system in Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

racket-rash

The Reckless Racket Shell

Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:0Issues:0

servant-checked-exceptions

type-level errors for Servant APIs.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language:ShellLicense:MITStargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:0Issues:0

travis-racket

Use Travis with Racket

Language:ShellStargazers:0Issues:0Issues:0

unlib

Helpful utilities for programming for Racket.

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:0Issues:0