Research papers
☆15Feb 11, 2016Updated 10 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below
Sorting:
- An AmazingRace-inspired version of Doodle Jump I started in 2012, continued in 2020, but never finished.☆12May 4, 2024Updated last year
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- MD5 core in verilog☆13May 1, 2012Updated 13 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- An utility to convert between Factorio settings file format and JSON☆12Dec 16, 2024Updated last year
- Parses Facebook chat messages into Python objects to enable convenient analysis.☆11Jan 3, 2018Updated 8 years ago
- LabVIEW Cloud Toolkit for AWS☆11Apr 29, 2022Updated 3 years ago
- Infoarena sandbox for running user submitted code, in rust using namespaces and cgroups☆13Nov 18, 2019Updated 6 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Aug 6, 2021Updated 4 years ago
- A-Frame UX Library : A Web XR System, Support Components, World Maps, Object Generators, Universal Controller & Interactive Powers.☆13Mar 20, 2024Updated last year
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- A generic GLSL post-processing module for applying super-speedy GPU effects to img/video/canvas elements.☆27Aug 20, 2017Updated 8 years ago
- A fork of Bevy Hanabi, the GPU-driven VFX system for Bevy, with improved performance and functionality☆16Feb 4, 2026Updated last month
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Web interaction with an Arduino through the Web☆12Jan 21, 2014Updated 12 years ago
- A demo showing WASM component model resources in various environments☆12Feb 5, 2025Updated last year
- ☆11Jun 20, 2023Updated 2 years ago
- Golang Estonia meetup resources, slides, code snippets etc.☆11Jul 26, 2022Updated 3 years ago
- Rust library for parsing TDMS files☆12Jul 17, 2023Updated 2 years ago
- RPC/XDR protocol compiler (from jungerl)☆14Oct 4, 2019Updated 6 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- This repo has moved with the upgrade to git based AUR4. Please see the following link for details:☆12Jun 14, 2015Updated 10 years ago
- renders parallel long shadows (as often used in material/flat design) for arbitrary shapes☆10Aug 8, 2017Updated 8 years ago
- Safety in Cloud Storage☆13Oct 31, 2019Updated 6 years ago
- compile your JavaScript to native code in pure JavaScript☆19Mar 24, 2022Updated 3 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Playground of WebVI experiments for G Web Development Software☆15Oct 8, 2025Updated 4 months ago
- Translate from YARV to native X86/X64 code with ytljit☆16Nov 16, 2012Updated 13 years ago
- Good Technology Standard (GTS:2019-DRAFT-1)☆15Dec 28, 2018Updated 7 years ago
- Tools and library for analyzing FBASs like Stellar and MobileCoin☆12Aug 3, 2025Updated 7 months ago
- ☆13Oct 26, 2018Updated 7 years ago
- Port of MicroCity to WASM-4☆10Feb 3, 2025Updated last year
- Statistics package for Haskell based on hmatrix☆13Aug 6, 2020Updated 5 years ago
- ✨ A Web-Based Singing Game! ✨☆11Aug 16, 2025Updated 6 months ago
- implementation in browser of a paint tool that uses fluid dynamics for more realistic paint.☆11Jun 16, 2017Updated 8 years ago
- Brings the <a href> to Gio. Small library to open URLs, supports Android, Windows, Linux, FreeBSD, iOS, macOS and WASM☆12Sep 3, 2022Updated 3 years ago
- A boilerplate for Node.js web applications☆10Nov 4, 2016Updated 9 years ago