#Facebook origami studio github code

jcalvinowens/asmhttpd - A minimalist HTTP server for Linux, written in x86_64 assembly.

sharow/libconcurrent - ©️ Concurrent Programming Library (Coroutine) for C11.

YueDayu/AsmFlappyBird - A flappy bird using asm language with QLearning method.

#Facebook origami studio github code

chrislgarry/Apollo-11 - Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.mrfearless/ModernUI - Modern UI controls for win32 assembler.briansmith/ring - Safe, fast, small crypto using Rust.microsoft/MS-DOS - The original sources of MS-DOS 1.25 and 2.0, for reference purposes.willin/automators - Useful Apple macOS Automator & Shortcuts Scripts 苹果系统自动操作、快捷指令脚本.pigworker/CS410-17 - being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde.pigworker/CS410-18 - being the teaching materials and exercises for CS410 in the 2018/19 session.plfa/ - An introduction to programming language theory in Agda.GuillermoCalderon/ProjectiveGeometryInAgda - A formalization of Constructive Projective Geometry in Agda.agda/cubical - An experimental library for Cubical Agda.acallesalda/setform - Set Theory Formalization in Agda.ice1k/Theorems - 🌐 Theorems that rule this multiverse.agda/agda-stdlib - The Agda standard library.martinescardo/HoTT-UF-Agda-Lecture-Notes - Lecture notes on univalent foundations of mathematics with Agda.CodaFi/Agda-Metaprogramming - Dependently Typed Metaprogramming Exercises.AdamAtomic/flixel - flixel is a free Actionscript (Flash) library that I distilled from a variety of Flash games that I've worked on over the last couple years, including Gravity Hook, Fathom and Canabalt.todototry/AncientChinesePoemsDB - this repo is a DB for Ancient Chinese Poems and Ancient Chinese Rhyme (Pronunciation).

kstenerud/concise-encoding - The secure data format for a modern world.jeromeetienne/tquery - extension system for three.js.A curated list of my GitHub stars! Generated by starred.