index
NameDescriptionOwnerIdleLinks
nixpkgs.gitWei's nixpkgs distribution.Gitolite public user2 weekssummarylogtree
home-manager.gitWei's home-manager distribution.Gitolite public user2 monthssummarylogtree
talks/20180915-parity.gitTalks on WebAssembly InterpreterGitolite public user3 monthssummarylogtree
org-mode.gitorg-mode fork for Wei.Gitolite public user12 monthssummarylogtree
talks/20171108-etclient.gitEtclient talk in Codeaholics.Gitolite public user13 monthssummarylogtree
evm-rs.gitEthereum Virtual Machine implementation in Rust. Alias of SputnikVM.Gitolite public user15 monthssummarylogtree
rux.gitA L4-like microkernel in Rust.Gitolite public user21 monthssummarylogtree
talks/20160914-julia-http2.gitHTTP/2, Julia and BeyondGitolite public user2 yearssummarylogtree
rux/kernel.gitRux's kernel.Gitolite public user2 yearssummarylogtree
rux/rinit.gitRux's simple init program.Gitolite public user2 yearssummarylogtree
hossip.gitA Gossip implementation in Haskell.Gitolite public user2 yearssummarylogtree
mazedq.gitA maze DeepQ group project for the Neural Engineering classGitolite public user2 yearssummarylogtree
talks/20160624-juliacon-http2.gitJuliaCon talk about HTTP/2 GSoC project.Gitolite public user2 yearssummarylogtree
nlp.intent.gitA wit.ai alternative for Natural Language Processing.Gitolite public user3 yearssummarylogtree
rect.gitA rectangle game written in WebGL featuring self-containing AIsGitolite public user3 yearssummarylogtree
seed.gitThe Seed programming languageGitolite public user3 yearssummarylogtree
xarmivmuhe.gitLojban text-based game.Gitolite public user3 yearssummarylogtree
useless-column.gitDetect unused column in a Ruby on Rails application.Gitolite public user3 yearssummarylogtree
vlajipno.gitLojban full-text search engine.Gitolite public user3 yearssummarylogtree
universe.gitA 2D universe simulation.Gitolite public user3 yearssummarylogtree
timeana.gitPersonal time analysis tool.Gitolite public user3 yearssummarylogtree
ticketboard.gitTask management with boards of tickets.Gitolite public user3 yearssummarylogtree
tersmu.gitThis is a fork of tersmu attempting to implement miniKanren code generation supp...Gitolite public user3 yearssummarylogtree
tersku.gitThe Lojban voice recognition engine adapted from English models.Gitolite public user3 yearssummarylogtree
talks/20150529-netwire.gitNetwire loop and how it works.Gitolite public user3 yearssummarylogtree
talks/20150604-iftime.gitThe logic programming tool for end users.Gitolite public user3 yearssummarylogtree
talks/20150611-jbosamjik.gitA Lojban scripting canguage.Gitolite public user3 yearssummarylogtree
talks/20150618-rect.gitA multiplayer game built on Clojure and Clojurescript.Gitolite public user3 yearssummarylogtree
talks/20150625-mini-kanren.gitHow to generate Lisp programs in miniKanren.Gitolite public user3 yearssummarylogtree
talks/20150702-seed.gitA Lisp dialect with remote function calls.Gitolite public user3 yearssummarylogtree
talks/20150709-seed-more.gitMacros, namespaces and more about Seed.Gitolite public user3 yearssummarylogtree
talks/20150714-clojure-workshop-quines.gitThe quine generator for Clojure workshop at Recurse Center.Gitolite public user3 yearssummarylogtree
talks/20150716-seed-web.gitBuild a talk application in Seed.Gitolite public user3 yearssummarylogtree
talks/20150723-xarmivmuhe.gitThe imaginary world, in Lojban.Gitolite public user3 yearssummarylogtree
talks/20150730-frp-multiplayer.gitFunctional Reactive Programming without functions.Gitolite public user3 yearssummarylogtree
talks/20150730-paper-reading-group.gitThe first paper reading group presenting Functional Reactive Animation.Gitolite public user3 yearssummarylogtree
talks/20150806-regex-logic.gitHell and regular expression matcher in miniKanren.Gitolite public user3 yearssummarylogtree
talks/20150813-meta-logic-programming.gitA logic programming language implemented in a logic programming language.Gitolite public user3 yearssummarylogtree
talks/20150904-first-class-predicate.gitDetails about miniKanren, mm and First-class Predicate.Gitolite public user3 yearssummarylogtree
talks/20160129-microkernel-in-rust.gitThis talk describes Rux, a L4-family microkernel implemented in Rust.Gitolite public user3 yearssummarylogtree
talks/20160203-microkernel-in-rust.gitModified version of the 0129 talk.Gitolite public user3 yearssummarylogtree
talks/20160510-polynomial-chaos-theory.gitPolynomial Chaos talk for the Uncertainty Qualification seminar in TUM.Gitolite public user3 yearssummarylogtree
seed-docs.gitThe documentation of the Seed programming languageGitolite public user3 yearssummarylogtree
reread.gitHackable Hacker News readerGitolite public user3 yearssummarylogtree
procaml.gitCIS194 at University of Penn once had an awesome homework of implementing propos...Gitolite public user3 yearssummarylogtree
ohsync.gitA Clojure library for syncing atoms over network using core.async.Gitolite public user3 yearssummarylogtree
mm.gitA microKanren implementation in miniKanren. It now supports first-class predicat...Gitolite public user3 yearssummarylogtree
messy.gitAn inductive approach to messy data. Currently it is focusing on applied constra...Gitolite public user3 yearssummarylogtree
lr-console.gitLisp Ruby console.Gitolite public user3 yearssummarylogtree
lojysamtav.gitThe chat frontend for lojysamsef.Gitolite public user3 yearssummarylogtree