scslab/LambdaS5
Semantics for ES5
Developer Profile
scslab
Discovered public repositories for scslab in the GitHub catalog.
scslab/mpvc.js
A port of the Hails MPVC to Node
scslab/node_chat
simple chat demo for node
scslab/darpa-site-visit
DARPA site visit wiki
scslab/appdeploy
Public repository.
scslab/lio-semantics
Formal semantics for LIO
scslab/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
scslab/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
scslab/lio-tutorial
Haskell and LIO tutorial
scslab/lio-exercises
Public repository.
scslab/lbh
Learn by Hacking. A web app for writing interactive tutorials on how to write code.
scslab/gitstar-policy
Gitstar policy module
scslab/hails-deploy
Hails deployment binary
scslab/cjail
Arch linux cjail mirror
scslab/lio-cjail
Hails cjail inteface
scslab/hails-auth
Hails authentication system
scslab/hails-bin
Hails dynamic app loader
scslab/aeson
A fast Haskell JSON library
scslab/gitstar-gitwiki
Gitstar markup-based, git-oriented wiki app
scslab/pandoc
Universal markup converter
scslab/gitstar-viewer
Gitstar code browser
scslab/gitstar-ssh
Gitstar ssh service
scslab/grapit
GitHub style api for git repositories
scslab/ssh
Haskell SSH Library
scslab/mitigator
General channel mitigation library
scslab/iterIO
Public repository.
scslab/gitstar
Public repository.
scslab/dclabel
Disjunction Category Label Format (Mirror)
scslab/structued-mongoDB
Mirror of Structured MongoDB package
scslab/base64-bytestring
Fast base64 encoding and decoding for Haskell.
scslab/iterio-server
Generic building blocks for creating servers using IterIO
scslab/hails
The security-centric web platform framework