3-day longest streak
-
yew ★ PINNED ⑂
Rust / Wasm framework for building client web apps
Rust ★ 0 2mo agoExplain → -
wasm-split-prototype ★ PINNED ⑂
Wasm code splitting with lazy async loading
Rust ★ 17 1d agoExplain → -
tracing-web ★ PINNED
A tracing subscriber for the web
Rust ★ 25 2y agoExplain → -
cubical ★ PINNED ⑂
No description.
Agda ★ 0 4y agoExplain → -
material-yewi ★ PINNED
Material UI components for yew
Rust ★ 4 4y agoExplain → -
LoL2Blender
A blender plugin to import and export League of Legend files
Python ★ 8 4y agoExplain → -
MCAnm
Minecraft Animated: An attempt to make models/entities in Minecraft animated
Java ★ 8 9y agoExplain → -
yew-virtualized
A yew component that renders only the on-screen part of a scrollable list
Rust ★ 4 5mo agoExplain → -
py_reals
Arbitrary precision real numbers in python
Python ★ 3 9mo agoExplain → -
untyped-box
A heap allocation utility when the datatype is unknown.
Rust ★ 2 1mo agoExplain → -
type-equalities-rs
No description.
Rust ★ 2 4y agoExplain → -
stacklover-rust ⑂
Zero-cost type for stack without complicated type or Box
Rust ★ 1 10mo agoExplain → -
aligned-vec ⑂
No description.
★ 1 8mo agoExplain → -
scoped_worker_thread
Like thread::scope but on demand with persistent threads
Rust ★ 1 1y agoExplain → -
stylist ⑂
Style web components written in Rust with ease.
Rust ★ 1 2y agoExplain → -
wasm-tools ⑂
CLI and Rust libraries for low-level manipulation of WebAssembly modules
Rust ★ 0 1d agoExplain → -
gloo ⑂
A modular toolkit for building fast, reliable Web applications and libraries with Rust and Wasm
Rust ★ 0 8mo agoExplain → -
wasm-bindgen ⑂
Facilitating high-level interactions between Wasm modules and JavaScript
Rust ★ 0 9mo agoExplain → -
cargo-leptos ⑂
Build tool for Leptos (Rust)
★ 0 9mo agoExplain → -
la-experiments
lalala
JavaScript ★ 0 1y agoExplain → -
modular-bitfield ⑂
Macro to generate bitfields for structs that allow for modular use of enums.
Rust ★ 0 5y agoExplain → -
hnsw ⑂
HNSW ANN from the paper "Efficient and robust approximate nearest neighbor search using Hierarchical Navigable Small World graphs"
Rust ★ 0 1y agoExplain → -
leptos_workers ⑂
No description.
★ 0 1y agoExplain → -
leptos ⑂
Build fast web applications with Rust.
★ 0 9mo agoExplain → -
burn ⑂
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
★ 0 1y agoExplain → -
transcode
A fresh approach to de- and encoding in a unified code path
Haskell ★ 0 2y agoExplain → -
rfcs ⑂
RFCs for changes to Rust
★ 0 2y agoExplain → -
trunk ⑂
Build, bundle & ship your Rust WASM application to the web.
★ 0 4y agoExplain → -
MobsterHunterMinedomUnite ▣
Discontinued in favor of https://github.com/Guild-Hall/MHFC
Java ★ 0 12y agoExplain → -
Advent-of-Code-2017 ▣
http://adventofcode.com/2017
Python ★ 0 8y agoExplain → -
anymap ⑂ ▣
A safe and convenient store for one value of each type
Rust ★ 0 5y agoExplain → -
tracing ⑂
Application level tracing for Rust.
Rust ★ 0 3y agoExplain → -
caniuse.rs ⑂
Rust feature search
★ 0 4y agoExplain → -
hackerman ⑂
Cargo hack manager
★ 0 4y agoExplain → -
docusaurus-test
No description.
JavaScript ★ 0 4y agoExplain → -
agda-unimath ⑂
Univalent mathematics in Agda
★ 0 4y agoExplain → -
wordle-mind
A mastermind-like bot for the wordle game (https://powerlanguage.co.uk/wordle/)
Python ★ 0 4y agoExplain → -
yew-feather ⑂
Yew components for Feather icons
Rust ★ 0 4y agoExplain → -
crev-proofs ⑂
Crev proof repository
★ 0 4y agoExplain → -
stat-helper
No description.
TypeScript ★ 0 4y agoExplain → -
cargo-make ⑂
Rust task runner and build tool.
★ 0 4y agoExplain → -
stealth-paint ⑂
Image operations, so quick and embeddable that you might barely notice it running
★ 0 4y agoExplain → -
vis_covid_vacc
Visualize covid vaccination status
Python ★ 0 4y agoExplain → -
hie-bios ⑂
No description.
Haskell ★ 0 6y agoExplain → -
dependent-map-rs
No description.
Rust ★ 0 5y agoExplain → -
Sophus ⑂
C++ implementation of Lie Groups using Eigen.
★ 0 5y agoExplain → -
Idris2 ⑂
A purely functional programming language with first class types
★ 0 5y agoExplain → -
unclap
Derive calling of command line tools from structures describing their options
Rust ★ 0 5y agoExplain → -
mypy-vscode ⑂
VS Code extension that provides type checking and analysis for Python code using mypy.
★ 0 5y agoExplain → -
rust-specialization-blog
No description.
Rust ★ 0 5y agoExplain → -
grubber
Exploring the space of designing build tools
Haskell ★ 0 5y agoExplain → -
carl ⑂
No description.
C++ ★ 0 9y agoExplain → -
union-find-delete
A union find implementation with a delete operation
Haskell ★ 0 5y agoExplain → -
async-pool ⑂
No description.
Haskell ★ 0 5y agoExplain → -
kinded-reflection
Like the reflection package, but more generically
Haskell ★ 0 5y agoExplain → -
text-icu ⑂
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
Haskell ★ 0 5y agoExplain → -
haskell-language-server ⑂
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Haskell ★ 0 5y agoExplain → -
lzw ⑂
LZW en- and decoding that goes weeeee!
Rust ★ 0 5y agoExplain → -
image-png ⑂
PNG decoding and encoding library in pure Rust
★ 0 5y agoExplain → -
vscode-haskell ⑂
VS Code extension for Haskell, powered by haskell-language-server
★ 0 5y agoExplain → -
HoTT-Agda ⑂
Development of homotopy type theory in Agda
★ 0 7y agoExplain → -
cubical-gap
No description.
Agda ★ 0 7y agoExplain → -
agda-stdlib ⑂
The Agda standard library
Agda ★ 0 7y agoExplain → -
add-gitignore ⑂
An interactive CLI tool that adds a .gitignore to your projects.
JavaScript ★ 0 8y agoExplain → -
FristenReminder ⑂
Eine C++ Konsolen-Anwendung (Reminder), dass über aktuelle Vertragslaufzeiten und deren Fristen erinnern soll.
C++ ★ 0 8y agoExplain → -
redux-composed-react
Connecting redux-compose with react
JavaScript ★ 0 9y agoExplain → -
redux-composed
Compose utilities for redux
JavaScript ★ 0 9y agoExplain → -
osu-player
A player for the osu!lazer database
C# ★ 0 9y agoExplain → -
hypro ⑂
HyPro: A C++ state set representation library for the analysis of hybrid systems
C ★ 0 9y agoExplain → -
CppLibrary ⑂
C++ Templates are turing complete - So why not make them usable in that way?
C++ ★ 0 9y agoExplain → -
osu4j ⑂
a complete osu!api Java wrapper.
Java ★ 0 9y agoExplain → -
TicTactics
A bot for the game TicTactics
C++ ★ 0 10y agoExplain → -
osu-web ⑂
the future face of osu!
PHP ★ 0 9y agoExplain → -
SmartIO
A quick and easy to use IO tool for (hopefully) all situations
C++ ★ 0 10y agoExplain → -
PGengine
A custom physics and graphics engine
C++ ★ 0 11y agoExplain → -
ccbase ⑂
Makes using C++ more enjoyable.
C++ ★ 0 11y agoExplain → -
MyLilChess
Repository for all kinds of chess-bots/user-interfaced implementations and a server software
Python ★ 0 12y agoExplain →
No repos match these filters.