Giters
Hakan Kjellerstrand (hakank)

hakank

Geek Repo

218

followers

133

following

282

stars

Company:Software Developer (Retired) / Independent Researcher

Location:Malmoe, Sweden

Home Page:http://www.hakank.org/

Twitter:@hakankj

Github PK Tool:Github PK Tool

Hakan Kjellerstrand's starred repositories

pytudes

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Language:Jupyter NotebookLicense:MITStargazers:22466Issues:775Issues:35

hyperfine

A command-line benchmarking tool

Language:RustLicense:Apache-2.0Stargazers:20439Issues:91Issues:242

BQN

An APL-like programming language. Self-hosted!

Language:KakouneScriptLicense:ISCStargazers:841Issues:31Issues:34

mbmlbook

Sample code for the Model-Based Machine Learning book.

Language:C#License:MITStargazers:279Issues:35Issues:10

Pyomo

Pyomo respository provides a comprehensive library of solved models in Supply chain management

Language:Jupyter NotebookLicense:MITStargazers:249Issues:14Issues:0

ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

Language:PrologLicense:LGPL-3.0Stargazers:247Issues:21Issues:82

ngn-k-tutorial

An ngn/k tutorial.

Language:CStargazers:193Issues:9Issues:12

fixpoint

Constraint programming solver

Language:ElixirLicense:MITStargazers:48Issues:0Issues:0

sabre

Sabre is a narrative planning platform that generates stories which meet the author's goals and only contain actions that make sense for the characters who take them.

Language:JavaLicense:NOASSERTIONStargazers:29Issues:0Issues:0

AI-Education

A book about how teachers can use chat bots with discernment. And some notes about background and future for AI.

Stargazers:26Issues:0Issues:0

HerbSWIPL.jl

Julia wrapper around SWI Prolog

Language:JuliaLicense:MITStargazers:13Issues:3Issues:0

ponderthis

some solutions to the IBM Research Ponder This challenge

Language:AMPLStargazers:7Issues:0Issues:0

adventofcode2023

Advent of Code 2023 solutions in SWI Prolog

Language:PrologStargazers:7Issues:3Issues:0

LearnieCP

An implementation of MiniCP from a Julia Programmer's view

Language:JuliaLicense:MITStargazers:6Issues:3Issues:1

enumerateCFG

Code for enumeration from a CFG

Language:PythonStargazers:6Issues:3Issues:1

sabre-benchmarks

Compare configurations of the Sabre Narrative Planner on a suite of benchmark problems.

Language:HTMLLicense:NOASSERTIONStargazers:4Issues:0Issues:0

AVC2023

My Python solutions for Advent of Code 2023

Language:PythonLicense:MITStargazers:4Issues:1Issues:0

aaai24-maxsynth

C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.

Language:PrologStargazers:2Issues:0Issues:0

oscar

Language:ScalaLicense:LGPL-2.1Stargazers:2Issues:0Issues:0

advent_of_code_2016

(Attempted) solutions to the Advent of Code 2016 puzzles.

License:NOASSERTIONStargazers:1Issues:2Issues:0

advent_of_code_2023

Attempts / solutions to the Advent of Code 2023 puzzles.

Language:NimStargazers:1Issues:2Issues:0

knight_tour_picat

Experiments with SAT-solving the Knight's Tour problem.

Stargazers:1Issues:0Issues:0

ngn-k-tutorial

An ngn/k tutorial.

Language:CStargazers:1Issues:0Issues:0

nimplication

Toy SAT solver written in Nim.

Language:NimStargazers:1Issues:0Issues:0

picat_rational

Small rational arithmetic library for Picat.

License:NOASSERTIONStargazers:1Issues:0Issues:0

advent-of-code-2023

Solutions to Advent of Code 2023 - https://adventofcode.com/2023

Language:PrologLicense:NOASSERTIONStargazers:1Issues:2Issues:0

cp-sat-recipes

Some modeling recipes for CP-SAT.

Language:PythonStargazers:1Issues:0Issues:0

oscar-test

Language:ScalaStargazers:1Issues:2Issues:0

aoc_2023

Language:PrologStargazers:1Issues:0Issues:0

composable-permutation-patterns

Language:Jupyter NotebookStargazers:1Issues:0Issues:0