Stars
jax-triton contains integrations between JAX and OpenAI Triton
Hardware accelerated, batchable and differentiable optimizers in JAX.
marcvanzee / flax
Forked from google/flaxFlax is a neural network library for JAX that is designed for flexibility.
All documentation, empirical results, and tools used in my PhD thesis
Source code of arganddec.com project
The Implementation of a logic-based framework for reasoning about Enterprise Architecture decisions
eGovernment case study description and Tool support for GRL
This is go4maxsat, a MAX-SAT library for Go under MIT license.
Simple recursive and iterative SAT solver written in Python.
Automatic generation of sequences of sound in a random key
Controlling a robot by thought using an EEG headset
Experiments of Social Network Analysis for Judgment Aggregation
Case Study Material for Tutorial at the RE Conference
System JLZ – rational default reasoning by minimal ranking constructions
An Object-Oriented Implementation of a KE Tableau Prover
Learning Intention Reconsideration Strategies using Reinforcement Learning on Markov Decision Processes