rb6-cyber Goto Github PK
Name: _|_
Type: User
Location: Pentagon
Name: _|_
Type: User
Location: Pentagon
r5rs subset in Idris
4store is an efficient, scalable and stable RDF database.
5GL C Stack Machine (Fifth Generation Graph Language)
A Small C Compiler
P-99: Ninety Nine Prolog Problems
Solutions to the Ninety-Nine Prolog Problems
A. Cropper. Forgetting to learn logic programs. AAAI 2020.
Benchmarks and comparisons of leading ABM frameworks with Agents.jl
Abstract types and methods for Gaussian Processes.
Attempto Controlled English in Grammatical Framework
A rule engine based on Attempto Controlled English
ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) in the back-end. ACE View has been implemented as a plug-in for Protégé 4
a lisp that compile to web assembly
A theorem prover for propositional access control logic with "says" operator. Implements Seq-ACL, an analytic labeled sequent calculus for access control logic along with an automatic generation of human-readable proofs. Main implementation in SWI-Prolog with translation to GNU-Prolog and relative C bindings provided.
A small actor-based language written in Common-Lisp
An Open Source Implementation of the Actor Model in C++
This repository contains source codes of a Java library implementing built-in classes of the Actor Prolog logic language. This library is used in the Actor Prolog to Java translation project.
Chicken egg that implements automatic differentiation
A fuzzy inference system library for Ada
Adaptive Skip-gram implementation in Julia
Ada-tailored UML Modeling Language
A Julia package for grid-based adaptive design optimization.
Classical adaptive linear filters in Julia
A Julia package for Adaptive Resonance Theory (ART) algorithms.
Fast, Expressive, & High-Performance Programming Language for those who dare
Aesara is a Python library that allows one to define, optimize, and efficiently evaluate mathematical expressions involving multi-dimensional arrays.
A large collection of example and demo Soar agents for a variety of domains and problems.
Agent-based modeling framework in Julia
Plotting functionality for Agents.jl - Agent-Based Modelling in Julia
Genomic and Proteomic data exploration and pattern mining
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.