joom Goto Github PK
Name: Joomy Korkut
Type: User
Company: @Bloomberg
Bio: Formal verification and programming languages researcher.
Twitter: joomy
Location: New York City
Joomy Korkut's Projects
type.systems
joke page until I decide what to do with this domain name
utopia
Design ❤️ Code
vim-commentary
commentary.vim: comment stuff out
vim-in-coq
A rudimentary Vim clone in Coq, with CertiCoq and ncurses.
vim-starter
Quick starter kit for Vim beginners.
vimrc
my vim settings / plugins
virtual-piano
Terminal based virtual piano in Haskell, with ncurses and Euterpea
wangsalgorithm
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
wesmaps-json
Node.js app to scrape Wesleyan course catalog to output JSON.
windowwatcher
A tool for me to run a shell script between switching windows/apps on a Mac.
wordcloud
Haskell library which makes word/tag clouds.
zor-yoldan-haskell
Turkish translation of Learn Haskell Fast and Hard by Yann Esposito.
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.