Giters
ftrihardjo

ftrihardjo

Geek Repo

0

followers

4

following

25

stars

Github PK Tool:Github PK Tool

ftrihardjo's starred repositories

jMetal

jMetal: a framework for multi-objective optimization with metaheuristics

Language:JavaLicense:MITStargazers:498Issues:0Issues:0

aoc-lh

Advent of Code 2022 in Liquid Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

EquationalReasoningInLiquidHaskell

Derivation of Optimized Definitions Based on Specs

Language:JavaScriptLicense:MITStargazers:15Issues:0Issues:0

hspp

hspp: An experimental library to bring Haskell Style Programming to C++.

Language:C++License:Apache-2.0Stargazers:157Issues:0Issues:0

slides

Slides from talks that I give

Language:HaskellLicense:CC-BY-4.0Stargazers:293Issues:0Issues:0

haskell-segtree

A polymorphic lazy segment tree implementation written in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:0Issues:0

ellyn

python-wrapped version of ellen, a linear genetic programming system for symbolic regression and classification.

Language:C++License:NOASSERTIONStargazers:52Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2828Issues:0Issues:0

mealpy

A Collection Of The State-of-the-art Metaheuristic Algorithms In Python (Metaheuristic/Optimizer/Nature-inspired/Biology)

Language:PythonLicense:GPL-3.0Stargazers:808Issues:0Issues:0

AutoOpt

A library for automatically designing metaheuristic optimizers.

Language:MATLABStargazers:20Issues:0Issues:0

isabelle-go-codegen

Go Code Generation for Isabelle

Language:Standard MLLicense:NOASSERTIONStargazers:1Issues:0Issues:0

guava

Google core libraries for Java

Language:JavaLicense:Apache-2.0Stargazers:49623Issues:0Issues:0

btree

BTree provides a simple, ordered, in-memory data structure for Go programs.

Language:GoLicense:Apache-2.0Stargazers:3824Issues:0Issues:0

fp-go

functional programming library for golang

Language:GoLicense:Apache-2.0Stargazers:1525Issues:0Issues:0

discrete-optimization

Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.

Language:PythonLicense:MITStargazers:33Issues:0Issues:0

scikit-decide

AI framework for Reinforcement Learning, Automated Planning and Scheduling

Language:PythonLicense:MITStargazers:131Issues:0Issues:0

unified-planning

The AIPlan4EU Unified Planning Library

Language:PythonLicense:Apache-2.0Stargazers:162Issues:0Issues:0

AI-Toolbox

A C++ framework for MDPs and POMDPs with Python bindings

Language:C++License:GPL-3.0Stargazers:641Issues:0Issues:0

go-datastructures

A collection of useful, performant, and threadsafe Go datastructures.

Language:GoLicense:Apache-2.0Stargazers:7477Issues:0Issues:0

printemps

C++ metaheuristics modeler/solver for general integer optimization problems.

Language:C++License:MITStargazers:44Issues:0Issues:0

optframe

OptFrame - C++17 (and C++20) Optimization Framework in Single or Multi-Objective. Supports classic metaheuristics and hyperheuristics: Genetic Algorithm, Simulated Annealing, Tabu Search, Iterated Local Search, Variable Neighborhood Search, NSGA-II, Genetic Programming etc. Examples for Traveling Salesman, Vehicle Routing, Knapsack Problem, etc.

Language:C++License:MITStargazers:65Issues:0Issues:0

GHOST

General meta-Heuristic Optimization Solving Toolkit

Language:C++License:GPL-3.0Stargazers:35Issues:0Issues:0

pomegranate

Fast, flexible and easy to use probabilistic modelling in Python.

Language:PythonLicense:MITStargazers:3282Issues:0Issues:0

europa

Language:C++Stargazers:216Issues:0Issues:0

pagmo2

A C++ platform to perform parallel computations of optimisation tasks (global and local) via the asynchronous generalized island model.

Language:C++License:GPL-3.0Stargazers:797Issues:0Issues:0