zaoqi-unsafe's repositories
autorest
OpenAPI (f.k.a Swagger) Specification code generator. Supports C#, Go, Java, Node.js, TypeScript, Python, Ruby and PHP.
awesome-clojurescript
A community driven list of ClojureScript frameworks, libraries and wrappers.
BareMetal-kernel
A very minimal, resource efficient exo-kernel
Best-App
收集&推荐优秀的 Apps/硬件/技巧/周边等
bucklescript
A backend for the OCaml compiler which emits JavaScript.
Craft
A simple Minecraft clone written in C using modern OpenGL (shaders).
eff
A functional programming language based on algebraic effects and their handlers.
extras
Bits, mini projects, language learning, all sorts of other nonsense that didn't belong anywhere else.
glass2
Prototype HTML5 Desktop OS
haxe
Haxe - The Cross-Platform Toolkit
hs-to-coq
Convert Haskell source code to Coq source code
illacceptanything
The project where literally anything* goes. See also https://github.com/illacceptanything/illacceptanything.github.io
immutable-js
Immutable persistent data collections for Javascript which increase efficiency and simplicity.
kitten
A statically typed concatenative programming language.
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
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.
micro-lisp
A very small Lisp programming language, in under 200 lines of C
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.
OS.js
JavaScript Cloud/Web Desktop Platform
plt
Programming Language Theory
quine-relay
An uroboros program with 100+ programming languages
reagent
A minimalistic ClojureScript interface to React.js
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!
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.
scheme-lib
scheme scheme-lib for gui gles gl slib openal socket web mongodb box2d game glfw mysql libevent android osx linux
server
☁️ Nextcloud server, a safe home for all your data
SICP-answers
我的 SICP 解题集
webtorrent
⚡️ Streaming torrent client for the web
zaoqil
A Pure Value Pure Functional Sized Lazy Language
zetavm
Multi-Language Platform for Dynamic Programming Languages