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
idris-dev
A Dependently Typed Functional Programming Language
idris-microkanren
Simple microKanren implementation in Idris.
idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
inanc-world-map
A map that shows where Inanc alumni are.
infinite-search
An implementation of Martin Escardo's exhaustively searchable sets in Haskell.
joom.github.io
Personal website
language-counter
Pie chart of languages of the repos that a GitHub user owns/starred/is watching.
latex-unicoder.vim
A plugin to type Unicode chars in Vim, using their LaTeX names.
matrix-challenge
Simple matrix determinant calculator in different programming languages
metaprogrammable-editor
Documents (TeX, slides etc.) and code for the editor side metaprogramming in Coq.
mips-examples
Simple examples in MIPS Assembly.
modal
Compilation of modal logic based functional language ML5 to JavaScript.
node-youtube2mp3
Node.js replica of YouTube to MP3 web apps.
norvigs-spelling-corrector
A Haskell implementation of Peter Norvig's spelling corrector
op-download
Download and generate CSV files from Open Procurement tenders API.
parseque
Total Parser Combinators in Coq
petgraph-automata
pixs
An image-processing library for Haskell.
presentations
Presentation files.
programming-language-network
The network of programming languages
regexp-agda
regexp-coq
A Coq port of my paper Intrinsic Verification of a Regular Expression Matcher
spec
An event management application built on Node.js
tc
Reference type checker for the Lean theorem prover
th-new
Sample code demonstrating features of typed Template Haskell.
thesis-modal
TeX files of my thesis
turkish-deasciifier.hs
Haskell port of Deniz Yuret's Turkish deasciifier.
turkish-deasciifier.vim
Vim plugin to use emres/turkish-deasciifier
twitter-timeline-scraper
Scraper for Twitter embedded timelines.
twocan
A statically typed purely functional language with type-inferred recursive polymorphic variants.
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.