slides of zju-lambda
☆14Feb 9, 2019Updated 7 years ago
Alternatives and similar repositories for slides
Users that are interested in slides are comparing it to the libraries listed below
Sorting:
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Feb 6, 2020Updated 6 years ago
- The MLPolyR programming language, revived☆25Oct 15, 2020Updated 5 years ago
- ☆12Jun 28, 2018Updated 7 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Mar 13, 2019Updated 6 years ago
- An untyped lambda calculus machine designed in FPGA.☆15Sep 22, 2018Updated 7 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 7 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Sep 9, 2018Updated 7 years ago
- a c++ compiler in typescript☆38Dec 9, 2022Updated 3 years ago
- ☆47Jan 21, 2025Updated last year
- Asynchronus JOOQ wrap for Vert.x☆10Nov 22, 2019Updated 6 years ago
- Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.☆63Mar 15, 2025Updated 11 months ago
- Lisp Flavoured C++☆29Mar 12, 2021Updated 4 years ago
- ML-style pattern matching in C++.☆29Dec 28, 2018Updated 7 years ago
- tasty feature extensions for python3(NO MAINTENANCE!).☆62Jul 7, 2019Updated 6 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated this week
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- ☆17Jan 3, 2025Updated last year
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead☆37Nov 18, 2018Updated 7 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- ☆12Jan 27, 2016Updated 10 years ago
- Tools to make working with Gerrit code review easier☆25Jun 27, 2020Updated 5 years ago
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago
- 阿里云第二届数据库大赛新手门槛队（季军）解决方案☆10Apr 19, 2021Updated 4 years ago
- Source Code for 'Game Backend Development' by Balint Bors☆11Dec 27, 2022Updated 3 years ago
- Personal UE5 Soul-like RPG Action Game☆11Jan 6, 2024Updated 2 years ago
- A script engine written by C++, which supports lambda, incremental-gc, multiple-threads and so on...☆10Apr 25, 2019Updated 6 years ago
- Use 'Browser - Cloud' in ArmorPaint instead.☆10Apr 5, 2021Updated 4 years ago
- Network Flows Optimization - Shortest Path, Max Flow and Min Cost Flow Algorithms in Python☆11Sep 13, 2019Updated 6 years ago
- A tool for patching the TensorFlow frozen protobuf file for compatibility to RKNN & SNPE SDK.☆11Feb 22, 2021Updated 5 years ago
- My proposals for the C++ standard☆12Nov 10, 2025Updated 3 months ago
- 一款基于python opencv 4.0开发的美颜程序。用以学习图像处理☆10Dec 14, 2019Updated 6 years ago
- OpenGL interop example using WGL_NV_DX_interop2☆10Mar 8, 2018Updated 7 years ago
- vscode support for chez shame☆10Dec 3, 2019Updated 6 years ago
- Manage local projects initially loaded☆16May 31, 2017Updated 8 years ago
- Notes on optimizing the linux kernel function csum_partial☆14Nov 28, 2021Updated 4 years ago
- https://12k.tech☆12Sep 6, 2020Updated 5 years ago
- 为 《Laravel 入门教程》 https://laravel-china.org/laravel-tutorial/5.1/about 定制的 homestead box 打包脚本☆10Feb 28, 2021Updated 5 years ago