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