Skip to content
View kije's full-sized avatar

Highlights

  • Pro

Organizations

@IAP12-16B

Block or report kije

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Refinement Types for Rust

Rust 638 18 Updated Oct 7, 2024

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

Rust 4,627 55 Updated Jul 16, 2023
TypeScript 1,390 94 Updated Dec 25, 2023

Choose Rust types at compile-time via constants

Rust 59 Updated Jan 23, 2024

AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.

Python 167,264 44,190 Updated Oct 7, 2024

Rank Polymorphic array library for Rust.

Rust 103 3 Updated Jul 29, 2023

A new markup-based typesetting system that is powerful and easy to learn.

Rust 33,080 894 Updated Oct 7, 2024

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Python 278 18 Updated Sep 5, 2024

OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Python 36,994 3,226 Updated Aug 17, 2024

Robust Speech Recognition via Large-Scale Weak Supervision

Python 68,939 8,113 Updated Sep 30, 2024

Early (but lovely) implementation of Vue 3, Bootstrap 5 and Typescript

TypeScript 1,113 113 Updated Oct 6, 2024

x86 PC emulator and x86-to-wasm JIT, running in the browser

JavaScript 19,665 1,378 Updated Oct 7, 2024

Dev environments. In your web app.

3,812 148 Updated Apr 25, 2023

The best React-based framework with performance, scalability and security built in.

JavaScript 55,249 10,315 Updated Oct 7, 2024

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Rust 7,294 246 Updated Sep 15, 2024

2D/3D renderer - makes it simple to draw stuff across platforms (including web)

Rust 1,292 109 Updated Oct 5, 2024

Crates that don't exist, but should

612 6 Updated Jul 16, 2020

A Scalable, User-Friendly Source Control System.

Rust 6,107 279 Updated Oct 7, 2024

High performance data-mapper ORM with optional active-record traits for RAD and modern PHP 7.2

PHP 251 35 Updated Jul 17, 2020

Empowering everyone to build reliable and efficient software.

Rust 97,402 12,591 Updated Oct 7, 2024

Schnipsel

Less 2 2 Updated Nov 1, 2021

Send your projects up in the clouds

PHP 2,664 217 Updated Sep 5, 2020

A TensorFlow implementation of DeepMind's WaveNet paper

Python 5,409 1,292 Updated Jul 12, 2023

An Open Source Machine Learning Framework for Everyone

C 185,871 74,234 Updated Oct 7, 2024

This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

TypeScript 207,760 33,662 Updated Aug 21, 2024

Yet Another LINQ to Objects for PHP [Simplified BSD]

PHP 440 39 Updated Jan 23, 2024

Mock built-in PHP functions (e.g. time(), exec() or rand())

PHP 359 19 Updated Feb 10, 2024

Semantic is a UI component framework based around useful principles from natural language.

JavaScript 51,103 4,944 Updated Jun 17, 2024

An HTML5/CSS3 framework used at SAPO for fast and efficient website design and prototyping

JavaScript 1,898 258 Updated Jan 31, 2022
Next