Pinned Repositories
-.jnlp
西湖区阅卷平台.jnlp
99-Lisp-Problems-in-Racket
Solutions to the 99 Lisp Problems - in Racket (Scheme).
_
杭州市第十五中学的信息课
_.bat
_.flash
为了杭州市第十五中学的信息课
_.scratch
为了杭15中的社团课
agplgetttt
AwesomeTouch
awesomeWM/Touchscreen
kindle-ubuntu
wm=awesome kernel=lab126
scheme2lua-1
Generate lua code with scheme.
zaoqi-unsafe's Repositories
zaoqi-unsafe/autorest
OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, Go, Java, Node.js, TypeScript, Python, Ruby and PHP.
zaoqi-unsafe/awesome-clojurescript
A community driven list of ClojureScript frameworks, libraries and wrappers.
zaoqi-unsafe/BareMetal-kernel
A very minimal, resource efficient exo-kernel
zaoqi-unsafe/Best-App
收集&推荐优秀的 Apps/硬件/技巧/周边等
zaoqi-unsafe/bucklescript
A backend for the OCaml compiler which emits JavaScript.
zaoqi-unsafe/Craft
A simple Minecraft clone written in C using modern OpenGL (shaders).
zaoqi-unsafe/eff
A functional programming language based on algebraic effects and their handlers.
zaoqi-unsafe/extras
Bits, mini projects, language learning, all sorts of other nonsense that didn't belong anywhere else.
zaoqi-unsafe/glass2
Prototype HTML5 Desktop OS
zaoqi-unsafe/haxe
Haxe - The Cross-Platform Toolkit
zaoqi-unsafe/hs-to-coq
Convert Haskell source code to Coq source code
zaoqi-unsafe/illacceptanything
The project where literally anything* goes. See also https://github.com/illacceptanything/illacceptanything.github.io
zaoqi-unsafe/immutable-js
Immutable persistent data collections for Javascript which increase efficiency and simplicity.
zaoqi-unsafe/kitten
A statically typed concatenative programming language.
zaoqi-unsafe/klipse
A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml
zaoqi-unsafe/lambdanative
LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.
zaoqi-unsafe/micro-lisp
A very small Lisp programming language, in under 200 lines of C
zaoqi-unsafe/OnsenUI
Mobile app development framework and SDK using HTML5 and JavaScript. Create beautiful and performant cross-platform mobile apps. Based on Web Components, and provides bindings for Angular 1, 2, React and Vue.js.
zaoqi-unsafe/OS.js
JavaScript Cloud/Web Desktop Platform
zaoqi-unsafe/plt
Programming Language Theory
zaoqi-unsafe/quine-relay
An uroboros program with 100+ programming languages
zaoqi-unsafe/reagent
A minimalistic ClojureScript interface to React.js
zaoqi-unsafe/red
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single 1MB file!
zaoqi-unsafe/Reduceron
FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.
zaoqi-unsafe/scheme-lib
scheme scheme-lib for gui gles gl slib openal socket web mongodb box2d game glfw mysql libevent android osx linux
zaoqi-unsafe/server
☁️ Nextcloud server, a safe home for all your data
zaoqi-unsafe/SICP-answers
我的 SICP 解题集
zaoqi-unsafe/webtorrent
⚡️ Streaming torrent client for the web
zaoqi-unsafe/zaoqil
A Pure Value Pure Functional Sized Lazy Language
zaoqi-unsafe/zetavm
Multi-Language Platform for Dynamic Programming Languages