davidlazar Goto Github PK
Name: David Lazar
Type: User
Company: MIT CSAIL
Location: Cambridge, MA
Blog: https://davidlazar.org
David Lazar's Projects
gocui
Minimalist Go package aimed at creating Console User Interfaces.
google-maps-services-go
Go client library for Google Maps API Web Services
halicore
Translator from GHC Core to Isabelle/HOLCF
haskell-semantics
Formal semantics of Haskell in K
hpygments
Highlight source code using Pygments
jotmuch
Jotmuch bookmark manager
kebab
secure backup tool (not maintained)
keccak-cryptol
Cryptol specification of the Keccak (SHA-3) hash function
language-k
Types and parsers for the K semantic framework
list-all-tabs
List tabs, find duplicates, and close them
llvm-semantics
Formal semantics of LLVM IR in K
mapstructure
Go library for decoding generic map values into native Go structures.
maude-hs
A Haskell interface to the Maude rewriting system
musl
Fork of musl adapted for the semantics of LLVM
ocaml-semantics
Formal semantics of OCaml
opus
Go wrapper for libopus (golang)
pandoc
Universal markup converter
pcpl
Post Correspondence Programming Language
pircbot
Java IRC bot framework
process-extras
Extra functionality for the Process library
pwclip
Hash-based password manager
python-drbg
Cryptographically Secure PRNG for Python
reminderbot
An IRC bot that reminds you to do things
rig
random identity generator
seal
Easily encrypt files, notes, and passwords
simon-and-speck
Cryptol specification of the Simon and Speck block ciphers
siphash-cryptol
Cryptol specification of the SipHash function
supergit
Manage many git repos as one
syb
Scrap Your Boilerplate generic programming library in Haskell
upstream
Stream audio to an Icecast server
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.