Software is like entropy: It is difficult to grasp, weighs nothing, and obeys the Second Law of Thermodynamics; i.e., it always increases.
bobbbay Goto Github PK
Name: Bob
Type: User
Location: Canada
Bob's Projects
bobbbay
We don’t write Haskell because we’re geniuses — we use tools like Haskell because we're not geniuses and it helps us.
category_theory_experiments
A collection of my experiments while following along with "Category Theory for Programmers"
coils
A type-based component map.
dinwiddy
Dependently typed N-dimensional array type signatures for Idris (2).
dos
DDoS written in GoLang - Quick and simple!
dotfiles
~. Nix all the things!
emu
A toy emulator.
finch
finch-old
gastrui
goserve
Quickly serve static sites with the speed of Go.
gregpoints-idris2
A (severely incomplete) proof that Idris 2 works beautifully with blockchain.
jargono
yarg-oh-no: an old toy language.
lang
links
Useful links for tons of programming languages, tech stacks, and more!
mekena
An agnostic scheduling framework.
neomacs
A Nix Flake-packaged Emacs distribution.
noptics
Optics for Rust, but not really.
pest
The Elegant Parser
rtow-rs
My solutions to Ray Tracing in One Weekend, done over more than a weekend, written in idiomatic Rust.
salo
Declarative, reproducible, statically typed build and deployment for Operating Systems.
site
The front/backend for my personal website/portfolio/blog.
sterilize.py
A simple library for smart ████ing your text, based on nouns and verbs.
suitware
Proof-of-concept for spacesuit software.
tarsier
A library for the unidirectional, event-based, asynchronous flow of data.
timejumper
Experiments with Bevy web.
tj
wpilib-rs
FRC + Rust = safe + modular + expressive
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.