KULeuven-CS / Genetic-Algorithms
Genetic Algorithms and Evolutionary Computing (B-KUL-H02D1A)
☆12Updated 10 years ago
Alternatives and similar repositories for Genetic-Algorithms:
Users that are interested in Genetic-Algorithms are comparing it to the libraries listed below
- Parallel Computing (B-KUL-H03F9A)☆9Updated 10 years ago
- Comparative Programming Languages (B-KUL-H0S01A)☆17Updated 10 years ago
- ☆31Updated last year
- Polynomial semantics of linear logic☆13Updated 7 years ago
- Mirror of CSSR: An Algorithm for Building Markov Models from Time Series☆20Updated 5 years ago
- Oplossing Examenvragen Numerieke Wiskunde (B-KUL-G0N90B)☆9Updated 2 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Updated 9 years ago
- ☆25Updated 2 years ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆12Updated 6 years ago
- Dynamic Self-Organized maps☆22Updated 9 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆19Updated last month
- A symbolic model checker for Dynamic Epistemic Logic.☆46Updated 2 months ago
- ☆13Updated 3 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆72Updated 3 years ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- Random notes on mathematics (in German)☆11Updated last month
- Metamath verifier in Python☆38Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- Lambda Notebook: Formal Semantics in Jupyter☆26Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 7 months ago
- Port of Aleph to SWI-Prolog☆46Updated last year
- sandbox for my c++ functional programming experiments☆33Updated 11 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Differentiable probabilistic answer set programming☆20Updated 5 months ago