advancedresearch Goto Github PK
Name: AdvancedResearch
Type: Organization
Bio: A research branch of the Piston project (https://www.piston.rs/)
Location: International
Blog: https://github.com/advancedresearch/advancedresearch.github.io
AdvancedResearch's Projects
abstractio
Abstract IO dimensionality analysis for physics using theory of Avatar Extensions
advancedresearch.github.io
The website for the AdvancedResearch community
agent_safety_layers
Construct agents that are wrapped in safety layers
ai_system_prompts
A library of AI system prompts for Large Language Models
algexeno_cistercian
Visual Algexenotation with Cistercian numerals as hyperprimes
algexenotation
An implementation of Algexenotation in Rust
asi_core0
An agent architecture candidate core for Artificial Super Intelligence (ASI).
attention_trace
A research project into attention trace
aude
An automated differentiation solver with a Lisp-like functional programming language
avalog
An experimental implementation of Avatar Logic with a Prolog-like syntax
avatar_cipher
An experiment to develop encryption/decryption ciphers for avatar graphs
avatar_graph
A library for Avatar Graphs
avatar_hypergraph_rewriting
Hypergraph rewriting system with avatars for symbolic distinction
caso
Category Theory Solver for Commutative Diagrams
challenges
Toolkits and challenges for applying agent architecture candidate cores for Artificial Super Intelligence (ASI) in simulated environments
closure_calculus
A Rust library for Barry Jay's Closure Calculus
debug_sat
A debuggable automatic theorem prover for boolean satisfiability problems (SAT).
dig
A simple logistic environment primitive
discrete
Combinatorial phantom types for discrete mathematics
environmental_mega_robotic_systems
Software for controlling mega robotic systems to deal with environmental problems - such as excess CO2 (pre-alpha)
error_predictive_learning
Black-box learning algorithm using error prediction levels
ethicophysics
various mathematical properties arising from the exercise of free will by the human animal
graph_builder
An algorithm for generating graphs with post-filtering and edge composition.
graph_solver
An undirected graph constraint solver for node and edge colors
higher_order_core
Core structs and traits for programming with higher order structures in Rust
higher_order_point
An experimental higher order data structure for 3D points
hilbert_image_to_sound
A library for turning images into sound using Hilbert space-filling curves
homotopy
A library for homotopy logic
hooo
Propositional logic with exponentials
hypo
Automatic hypothesis testing
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.