caryoscelus Goto Github PK
Name: caryoscelus
Type: User
Bio: .: libre artist in many media :. interested in agda/tt/hott/ctt and lang development , procedural art , gamedev , p2p
Name: caryoscelus
Type: User
Bio: .: libre artist in many media :. interested in agda/tt/hott/ctt and lang development , procedural art , gamedev , p2p
A browser extension to translate Japanese by hovering over words.
Generic game engine things, separated from Chlorophytum
Agda is a dependently typed programming language / interactive theorem prover.
The Agda standard library
(OBSOLETE)
1hgj-73 "game"
A from-the-ground-up rewrite of https://pomax.github.io/bezierinfo, using react, babel, webpack, and other modern things.
Functional, minimal, data-oriented, ultra-high performance ECS library written in JavaScript
Convert a bitmap font in BDF, PCF, or SFD format to an OpenType Bitmap font using FontForge's API and bdfreader
Brython (Browser Python) is an implementation of Python 3 running in the browser
A python implementation of the Bittorrent DHT (Distributed Hash Table)
caryoscelus home page
Mac OS X Keychain Forensic Tool
side-scrolling space shooter on Godot engine, made for learning
ld31 project
Chlorophytum game engine. Originally built for Shabby, uses java, libgdx and clojure.
random agda code/proofs playground
(OBSOLETE) simple python/flask/redis/js commenting system
comment-anything rewritten in functional style (client part)
Dungeon Crawl: Stone Soup official repository
ludum dare 32 project
(OBSOLETE) ren'py friendly python rpg logic framework
ren'py-only part of dracykeiton
ludum dare 34 project
Context menu for fixing wrong filename cyrillic encoding from stupid zips.
small 2d frp game engine/framework in early development (haskell, netwire, opengl, openal)
fundedaphi is 7drl rogue-like project using tam-rogue engine
Godot Engine – Multi-platform 2D and 3D game engine
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.