waterlens Goto Github PK
Name: Waterlens
Type: User
Twitter: water_lens
Blog: waterlens.moe
Waterlens's Projects
apple-uarch-bench
battery-savior
A utility helping you save your power consumption of your PC
bench-collection
bite
bite-bench
bite-lang
bite_comp
cpp-effects
Effect handlers in C++
dotfiles
dottore-genius-invokation-tcg-simulator
A highly customizable Genius Invokation TCG simulator for training AI. (PyPI package: dgisim)
duckscript
Simple, extendable and embeddable scripting language.
esp32-micropython
haskell-mls
koka
Koka language compiler and interpreter
lab-1
Lab 1: Lambda
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
micropython
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
mirror-manager
mlscript
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
mpl
The MaPLe compiler for efficient and scalable parallel functional programming
neovim
Vim-fork focused on extensibility and usability
obsidian-latex-suite
Make typesetting LaTeX as fast as handwriting through snippets and text expansion
oeobia
Functional programming with c++ templates
programming-language-benchmarks
Yet another implementation of computer language benchmarks game
remote-actuator
resume
rsmix
An experimental parser combinator wrapper for mixfix operator parsing
rust
Empowering everyone to build reliable and efficient software.
stlc-typecheck
A simple type checker of STLC written in Haskell
storage
store some files
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.