Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / WorldSEnder 63 repositories
Rust aficionado and fan of semantics before programs. Maintainer @yewstack
WorldSEnder/burn Fork of tracel-ai/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
Size: 43.9 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
WorldSEnder/type-equalities-rs
Language: Rust - Size: 29.3 KB - Last synced: about 21 hours ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0
WorldSEnder/transcode
A fresh approach to de- and encoding in a unified code path
Language: Haskell - Size: 17.6 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
WorldSEnder/tracing-web
A tracing subscriber for the web
Language: Rust - Size: 24.4 KB - Last synced: 18 days ago - Pushed: 6 months ago - Stars: 16 - Forks: 0
WorldSEnder/stacklover-rust Fork of nwtgck/stacklover-rust
Zero-cost type for stack without complicated type or Box
Language: Rust - Size: 83 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0
WorldSEnder/redux-composed-react
Connecting redux-compose with react
Language: JavaScript - Size: 6.84 KB - Last synced: 4 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/yew-virtualized
A yew component that renders only the on-screen part of a scrollable list
Language: Rust - Size: 32.2 KB - Last synced: 15 days ago - Pushed: about 1 year ago - Stars: 3 - Forks: 1
WorldSEnder/yew-feather Fork of pedrodesu/yew-feather
Yew components for Feather icons
Language: Rust - Size: 33.2 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/wasm-bindgen Fork of rustwasm/wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
Size: 20.3 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/wordle-mind
A mastermind-like bot for the wordle game (https://powerlanguage.co.uk/wordle/)
Language: Python - Size: 37.1 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/vscode-haskell Fork of haskell/vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
Size: 872 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/vis_covid_vacc
Visualize covid vaccination status
Language: Python - Size: 4.07 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1
WorldSEnder/union-find-delete
A union find implementation with a delete operation
Language: Haskell - Size: 39.1 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/unclap
Derive calling of command line tools from structures describing their options
Language: Rust - Size: 6.84 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/trunk Fork of thedodd/trunk
Build, bundle & ship your Rust WASM application to the web.
Size: 1.33 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/tracing Fork of tokio-rs/tracing
Application level tracing for Rust.
Language: Rust - Size: 4.55 MB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/text-icu Fork of haskell/text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
Language: Haskell - Size: 618 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/stat-helper
Language: TypeScript - Size: 120 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/stealth-paint Fork of HeroicKatora/stealth-paint
Image operations, so quick and embeddable that you might barely notice it running
Size: 3.3 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/Sophus Fork of strasdat/Sophus
C++ implementation of Lie Groups using Eigen.
Size: 7.68 MB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/SmartIO
A quick and easy to use IO tool for (hopefully) all situations
Language: C++ - Size: 151 KB - Last synced: 10 months ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0
WorldSEnder/rust-specialization-blog
Language: Rust - Size: 5.86 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/py_reals
Arbitrary precision real numbers in python
Language: Python - Size: 97.7 KB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0
WorldSEnder/PGengine
A custom physics and graphics engine
Language: C++ - Size: 121 KB - Last synced: 10 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0
WorldSEnder/osu4j Fork of jamalvw/osu4j
a complete osu!api Java wrapper.
Language: Java - Size: 60.5 KB - Last synced: 10 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/osu-web Fork of ppy/osu-web
the future face of osu!
Language: PHP - Size: 27.4 MB - Last synced: 10 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/osu-player
A player for the osu!lazer database
Language: C# - Size: 7.81 KB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/mypy-vscode Fork of matangover/mypy-vscode
VS Code extension that provides type checking and analysis for Python code using mypy.
Size: 155 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/modular-bitfield Fork of Robbepop/modular-bitfield
Macro to generate bitfields for structs that allow for modular use of enums.
Language: Rust - Size: 97.7 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/MCAnm
Minecraft Animated: An attempt to make models/entities in Minecraft animated
Language: Java - Size: 854 KB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 7 - Forks: 2
WorldSEnder/lzw Fork of image-rs/lzw
LZW en- and decoding that goes weeeee!
Language: Rust - Size: 1.45 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/material-yewi
Material UI components for yew
Language: Rust - Size: 462 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 4 - Forks: 0
WorldSEnder/image-png Fork of image-rs/image-png
PNG decoding and encoding library in pure Rust
Size: 9.9 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/kinded-reflection
Like the reflection package, but more generically
Language: Haskell - Size: 5.86 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/Idris2 Fork of idris-lang/Idris2
A purely functional programming language with first class types
Size: 15.4 MB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/hypro Fork of hypro/hypro
HyPro: A C++ state set representation library for the analysis of hybrid systems
Language: C - Size: 59.2 MB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/HoTT-Agda Fork of HoTT/HoTT-Agda
Development of homotopy type theory in Agda
Size: 6.15 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
WorldSEnder/hie-bios Fork of haskell/hie-bios
Language: Haskell - Size: 382 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0
WorldSEnder/haskell-language-server Fork of isovector/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Language: Haskell - Size: 1.38 MB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/gloo Fork of rustwasm/gloo
A modular toolkit for building fast, reliable Web applications and libraries with Rust and Wasm
Size: 521 KB - Last synced: 10 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/hackerman Fork of pacak/hackerman
Cargo hack manager
Size: 314 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/grubber
Exploring the space of designing build tools
Language: Haskell - Size: 44.9 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/FristenReminder Fork of TutorExilius/FristenReminder
Eine C++ Konsolen-Anwendung (Reminder), dass ΓΌber aktuelle Vertragslaufzeiten und deren Fristen erinnern soll.
Language: C++ - Size: 45.9 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
WorldSEnder/docusaurus-test
Language: JavaScript - Size: 399 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/dependent-map-rs
Language: Rust - Size: 48.8 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/cubical-gap
Language: Agda - Size: 7.81 KB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
WorldSEnder/cubical Fork of agda/cubical
Language: Agda - Size: 3.9 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/CppLibrary Fork of HeroicKatora/Functional-Cpp-Templates
C++ Templates are turing complete - So why not make them usable in that way?
Language: C++ - Size: 1.52 MB - Last synced: 10 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/crev-proofs Fork of crev-dev/crev-proofs
Crev proof repository
Size: 1000 Bytes - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/ccbase Fork of adityaramesh/ccbase
Makes using C++ more enjoyable.
Language: C++ - Size: 2.1 MB - Last synced: 10 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0
WorldSEnder/carl Fork of ths-rwth/carl
Language: C++ - Size: 8.93 MB - Last synced: 10 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/cargo-make Fork of sagiegurari/cargo-make
Rust task runner and build tool.
Size: 11.6 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/caniuse.rs Fork of jplatte/caniuse.rs
Rust feature search
Size: 1.45 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/async-pool Fork of jwiegley/async-pool
Language: Haskell - Size: 86.9 KB - Last synced: 10 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/anymap Fork of chris-morgan/anymap π¦
A safe and convenient store for one value of each type
Language: Rust - Size: 164 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
WorldSEnder/agda-unimath Fork of UniMath/agda-unimath
Univalent mathematics in Agda
Size: 133 MB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
WorldSEnder/agda-stdlib Fork of agda/agda-stdlib
The Agda standard library
Language: Agda - Size: 64.9 MB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
WorldSEnder/Advent-of-Code-2017 π¦
http://adventofcode.com/2017
Language: Python - Size: 1000 Bytes - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0
WorldSEnder/add-gitignore Fork of TejasQ/add-gitignore
An interactive CLI tool that adds a .gitignore to your projects.
Language: JavaScript - Size: 1.28 MB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
WorldSEnder/stylist Fork of futursolo/stylist-rs
Style web components written in Rust with ease.
Language: Rust - Size: 796 KB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
WorldSEnder/LoL2Blender
A blender plugin to import and export League of Legend files
Language: Python - Size: 198 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 7 - Forks: 1
WorldSEnder/MobsterHunterMinedomUnite π¦
Discontinued in favor of https://github.com/Guild-Hall/MHFC
Language: Java - Size: 139 MB - Last synced: 10 months ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0
WorldSEnder/yew Fork of yewstack/yew
Rust / Wasm framework for building client web apps
Language: Rust - Size: 14.5 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
WorldSEnder/redux-composed
Compose utilities for redux
Language: JavaScript - Size: 7.81 KB - Last synced: 1 day ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0
WorldSEnder/TicTactics
A bot for the game TicTactics
Language: C++ - Size: 111 KB - Last synced: 10 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 1
WorldSEnder/MyLilChess
Repository for all kinds of chess-bots/user-interfaced implementations and a server software
Language: Python - Size: 203 KB - Last synced: 10 months ago - Pushed: almost 10 years ago - Stars: 0 - Forks: 0