broesdecat Goto Github PK
Name: Broes De Cat
Type: User
Company: Katholic University Leuven
Location: Belgium
Broes De Cat's Projects
ai-driven-bomberman
Project to test some state of the art AI techniques and how they would apply to games.
autotoolized-lua
Autoconf, automake and libtool enabled Lua
flatzinc-to-ecnf
Transformation of flatzinc into the Extended CNF format, input language of MinisatID
flatzinc-to-idp
Transformation of flatzinc into the IDP knowledge representation language, based on the logic FO(ID, Agg, part, arith).
genjava
RosJava message definition and serialization artifact generators.
geometry
Packages for common geometric calculations including the ROS transform library, "tf". Also includes ROS bindings for "bullet" physics engine and "kdl" kinematics/dynamics package.
iiwa_stack
ROS Indigo/Kinetic metapackage for the KUKA LBR IIWA R800/R820 (7/14 Kg).
linenoise
A small self-contained alternative to readline and libedit
minisat
A minimalistic and high-performance SAT solver with DPLL(T) support
minisatid
DPLL(T)-based search algorithm for ground input supporting inductively defined concepts, finite domain constraints, pseudo-boolean aggregates and subtheory queries (polynomial hierarchy expressivity).
msysgit
The msysGit repository. Please post all patches to the msysGit mailing list.
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.