Repositories Users Organizations
Filter
Sort
ilyakooo0/ Mathdown
Swift 0 0
A lightweight syntax for matrices.
Updated 2017-10-05 20:58:34 +03:00
typeable/ cassava-embed
Haskell 0 0
Library for CSV-file embedding
haskell csv haskell-library
Updated 2017-09-20 11:51:22 +03:00
thufschmitt/ tix-papers
TeX 1 0
Some writings about a type system for nix
starred-repo starred-thufschmitt-repo
Updated 2017-08-21 18:12:00 +03:00
ikoHSE/ main
C++ 0 0
not really known
Updated 2017-07-20 20:06:20 +03:00
ilyakooo0/ purescript-intl
0 0
PureScript bindings to Intl - JavaScript Internaisation API
Updated 2017-07-01 12:31:39 +03:00
reversebias/ mitosis-hardware
1 0
Mechanical design files for the Mitosis keyboard
starred-repo starred-reversebias-repo
Updated 2017-06-08 09:41:54 +03:00
slap-editor/ slap
JavaScript 1 0
Sublime-like terminal-based text editor
starred-repo starred-slap-editor-repo
Updated 2017-04-24 11:25:44 +03:00
ilyakooo0/ neuralNetworks
Python 0 0
not really known
Updated 2017-04-23 23:29:36 +03:00
sdiehl/ write-you-a-haskell
Haskell 1 0
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
starred-repo functional-programming lambda-calculus type-theory book compiler evaluation functional-language haskel hindley-milner intermediate-representation pdf-book type type-checking type-inference type-system starred-sdiehl-repo
Updated 2017-04-19 21:42:33 +03:00
TylorS/ purescript-stream
JavaScript 1 0
A stream library for purescript
starred-repo starred-tylors-repo
Updated 2017-03-21 04:38:09 +03:00
ilyakooo0/ purescript-stream
JavaScript 0 0
A stream library for purescript
forked-repo forked-ilyakooo0-repo
Updated 2017-03-21 04:38:09 +03:00
vinivendra/ metal-metaballs
Swift 1 0
A 'playground' project for rendering metaball-like graphics in metal.
starred-repo starred-vinivendra-repo
Updated 2017-03-19 00:26:30 +03:00
typeable/ gitrev
Haskell 0 0
Compile git revision info into Haskell projects
forked-repo forked-typeable-repo
Updated 2017-03-17 05:33:10 +03:00
benizi/ hidclient
C 1 0
repo for tweaking hidclient - not the original
starred-repo starred-benizi-repo
Updated 2017-02-20 18:57:48 +03:00
tmm1/ emoji-extractor
Ruby 1 0
extracts high-resolution emoji pngs from /System/Library/Fonts/Apple Color Emoji.ttf
starred-repo starred-tmm1-repo
Updated 2016-11-04 01:51:33 +03:00
ikoHSE/ Books-1
0 0
not really known
forked-repo forked-ikohse-repo
Updated 2016-11-03 19:15:58 +03:00
ege4ever/ ege4ever.github.io
HTML 0 0
not really known
Updated 2016-10-16 23:09:35 +03:00
lethalman/ nix-user-chroot
C 1 0
Run nix in a lightweight chroot container
starred-repo starred-lethalman-repo
Updated 2016-08-29 13:14:07 +03:00
lucabrunox/ nix-user-chroot
C 1 0
Run nix in a lightweight chroot container
starred-repo starred-lucabrunox-repo
Updated 2016-08-29 13:14:07 +03:00
mattharris5/ xsd-explorer
HTML 1 0
Simple browser-based XML schema document explorer
starred-repo starred-mattharris5-repo
Updated 2016-08-24 23:01:31 +03:00