index
NameDescriptionOwnerIdleLinks
nixpkgs.gitWei's nixpkgs distribution.Gitolite public user4 dayssummarylogtree
talks/20191011-compatibility.gitTalk on backward compatibility at devcon5Gitolite public user5 weekssummarylogtree
talks/20191010-eth2.gitTalk on building eth2 in Substrate at devcon5Gitolite public user5 weekssummarylogtree
talks/20191004-merge.gitTalk on merging blockchains at ETC Summit 2019Gitolite public user5 weekssummarylogtree
talks/20190917-pow.gitTalks on Proof of Work on SubstrateGitolite public user2 monthssummarylogtree
talks/20190821-evm.gitFun and misery with Ethereum Virtual MachineGitolite public user3 monthssummarylogtree
mm.gitA microKanren implementation in miniKanren. It now supports first-class predicat...Gitolite public user6 monthssummarylogtree
talks/20190513-blockchain.gitTalks on how to build a blockchainGitolite public user6 monthssummarylogtree
talks/20190411-edcon.gitTalks at EDCONGitolite public user7 monthssummarylogtree
talks/20190417-account-versioning.gitIntroduction to all current account versioning EIPsGitolite public user7 monthssummarylogtree
talks/20190420-libsecp256k1.gitTalks on libsecp256k1Gitolite public user7 monthssummarylogtree
talks/20190124-shasper.gitTalks on ShasperGitolite public user10 monthssummarylogtree
home-manager.gitWei's home-manager distribution.Gitolite public user13 monthssummarylogtree
talks/20180915-parity.gitTalks on WebAssembly InterpreterGitolite public user14 monthssummarylogtree
org-mode.gitorg-mode fork for Wei.Gitolite public user23 monthssummarylogtree
talks/20171108-etclient.gitEtclient talk in Codeaholics.Gitolite public user2 yearssummarylogtree
evm-rs.gitEthereum Virtual Machine implementation in Rust. Alias of SputnikVM.Gitolite public user2 yearssummarylogtree
rux.gitA L4-like microkernel in Rust.Gitolite public user3 yearssummarylogtree
talks/20160914-julia-http2.gitHTTP/2, Julia and BeyondGitolite public user3 yearssummarylogtree
rux/kernel.gitRux's kernel.Gitolite public user3 yearssummarylogtree
rux/rinit.gitRux's simple init program.Gitolite public user3 yearssummarylogtree
hossip.gitA Gossip implementation in Haskell.Gitolite public user3 yearssummarylogtree
mazedq.gitA maze DeepQ group project for the Neural Engineering classGitolite public user3 yearssummarylogtree
talks/20160624-juliacon-http2.gitJuliaCon talk about HTTP/2 GSoC project.Gitolite public user3 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 user4 yearssummarylogtree
useless-column.gitDetect unused column in a Ruby on Rails application.Gitolite public user4 yearssummarylogtree
vlajipno.gitLojban full-text search engine.Gitolite public user4 yearssummarylogtree
universe.gitA 2D universe simulation.Gitolite public user4 yearssummarylogtree
timeana.gitPersonal time analysis tool.Gitolite public user4 yearssummarylogtree
ticketboard.gitTask management with boards of tickets.Gitolite public user4 yearssummarylogtree
tersmu.gitThis is a fork of tersmu attempting to implement miniKanren code generation supp...Gitolite public user4 yearssummarylogtree
tersku.gitThe Lojban voice recognition engine adapted from English models.Gitolite public user4 yearssummarylogtree
talks/20150529-netwire.gitNetwire loop and how it works.Gitolite public user4 yearssummarylogtree
talks/20150604-iftime.gitThe logic programming tool for end users.Gitolite public user4 yearssummarylogtree
talks/20150611-jbosamjik.gitA Lojban scripting canguage.Gitolite public user4 yearssummarylogtree
talks/20150618-rect.gitA multiplayer game built on Clojure and Clojurescript.Gitolite public user4 yearssummarylogtree
talks/20150625-mini-kanren.gitHow to generate Lisp programs in miniKanren.Gitolite public user4 yearssummarylogtree
talks/20150702-seed.gitA Lisp dialect with remote function calls.Gitolite public user4 yearssummarylogtree
talks/20150709-seed-more.gitMacros, namespaces and more about Seed.Gitolite public user4 yearssummarylogtree
talks/20150714-clojure-workshop-quines.gitThe quine generator for Clojure workshop at Recurse Center.Gitolite public user4 yearssummarylogtree
talks/20150716-seed-web.gitBuild a talk application in Seed.Gitolite public user4 yearssummarylogtree
talks/20150723-xarmivmuhe.gitThe imaginary world, in Lojban.Gitolite public user4 yearssummarylogtree
talks/20150730-frp-multiplayer.gitFunctional Reactive Programming without functions.Gitolite public user4 yearssummarylogtree
talks/20150730-paper-reading-group.gitThe first paper reading group presenting Functional Reactive Animation.Gitolite public user4 yearssummarylogtree
talks/20150806-regex-logic.gitHell and regular expression matcher in miniKanren.Gitolite public user4 yearssummarylogtree
talks/20150813-meta-logic-programming.gitA logic programming language implemented in a logic programming language.Gitolite public user4 yearssummarylogtree
talks/20150904-first-class-predicate.gitDetails about miniKanren, mm and First-class Predicate.Gitolite public user4 yearssummarylogtree