Aurora0001

Aurora0001

Geek Repo

Github PK Tool:Github PK Tool

Aurora0001's starred repositories

react

The library for web and native user interfaces.

Language:JavaScriptLicense:MITStargazers:224670Issues:6632Issues:13024

tensorflow

An Open Source Machine Learning Framework for Everyone

Language:C++License:Apache-2.0Stargazers:183793Issues:7628Issues:39421

electron

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:94602Issues:1487Issues:53275

redux

A JS library for predictable global state management

Language:TypeScriptLicense:MITStargazers:60611Issues:1283Issues:2041

Semantic-UI

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

Language:JavaScriptLicense:MITStargazers:51050Issues:1302Issues:6225

marked

A markdown parser and compiler. Built for speed.

Language:TypeScriptLicense:NOASSERTIONStargazers:32279Issues:387Issues:1473

hyper

An HTTP library for Rust

diesel

A safe, extensible ORM and Query Builder for Rust

Language:RustLicense:Apache-2.0Stargazers:12211Issues:107Issues:1546

warriorjs

🏰 An exciting game of programming and Artificial Intelligence

Language:JavaScriptLicense:MITStargazers:9383Issues:163Issues:119

pest

The Elegant Parser

Language:RustLicense:Apache-2.0Stargazers:4474Issues:44Issues:457

cursive

A Text User Interface library for the Rust programming language

Language:RustLicense:MITStargazers:4158Issues:40Issues:535

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:4133Issues:56Issues:898

coconut

Simple, elegant, Pythonic functional programming.

Language:PythonLicense:Apache-2.0Stargazers:3996Issues:62Issues:727

lalrpop

LR(1) parser generator for Rust

Language:RustLicense:Apache-2.0Stargazers:2934Issues:35Issues:413

curated-programming-resources

A curated list of resources for learning programming.

tokio-proto

A network application framework for Rust

Language:RustLicense:Apache-2.0Stargazers:693Issues:38Issues:107

rhine-ml

🏞 an OCaml compiler for an untyped lisp

Language:OCamlLicense:NOASSERTIONStargazers:630Issues:53Issues:11

react-linkify

React component to parse links (urls, emails, etc.) in text into clickable links

Language:JavaScriptLicense:MITStargazers:550Issues:3Issues:58

euclidthegame

A geometry game based on Euclid's Elements.

Language:JavaScriptLicense:MITStargazers:447Issues:25Issues:355

plex

a parser and lexer generator as a Rust procedural macro

Language:RustLicense:Apache-2.0Stargazers:404Issues:8Issues:35

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

Language:LeanLicense:NOASSERTIONStargazers:328Issues:14Issues:4

pykaleidoscope

Implementation of the LLVM tutorial in Python

Language:PythonLicense:UnlicenseStargazers:291Issues:12Issues:1

evee.js

The lightweight es6 event library.

Language:JavaScriptLicense:MITStargazers:194Issues:6Issues:4

llvm-rs

LLVM wrappers for Rust

Language:RustLicense:BSD-3-ClauseStargazers:68Issues:4Issues:19

rawr

Rust API Wrapper for Reddit

Language:RustLicense:MITStargazers:31Issues:3Issues:14

rust-copperline

Pure-Rust Command Line Editing Library

Language:RustLicense:MITStargazers:27Issues:4Issues:2

Aether

Modern, Beautiful IRC Client

Language:JavaScriptLicense:MITStargazers:9Issues:1Issues:12

Note

Lightweight PHP based CMS

Language:PHPLicense:NOASSERTIONStargazers:4Issues:4Issues:8

node-irc

NodeJS IRC client library

Language:JavaScriptLicense:GPL-3.0Stargazers:1Issues:1Issues:0