|
OCaml |
6 |
SCIP Indexer for OcAmL |
Mar 29, 2023 |
|
OCaml |
2 |
Small ocaml examples |
Nov 25, 2017 |
|
PHP |
2 |
SCIP Code Intelligence Protocol (SCIP) indexer for PHP |
Apr 13, 2023 |
|
MATLAB |
2 |
Interface from Matlab to SCIP and SCIP-SDP |
Jun 05, 2023 |
|
PHP |
2 |
Small example project to test slim4. |
Jul 28, 2022 |
|
Python |
8 |
SCIP indexer for Python |
Aug 05, 2022 |
|
Zig |
20 |
SCIP indexer for Zig! |
Mar 27, 2023 |
|
Rust |
25 |
SCIP Code Intelligence Protocol |
Aug 08, 2022 |
|
Go |
10 |
SCIP indexer for Golang |
Apr 19, 2023 |
|
Rust |
6 |
Rust interface for SCIP |
Apr 17, 2023 |
|
Scheme |
3 |
SCIP demo and exercises |
Dec 01, 2022 |
|
Lua |
23 |
A small examples project to test code snippets |
Jul 17, 2022 |
|
Shell |
10 |
a small tool to test your minitalk project |
Dec 20, 2023 |
|
Nix |
2 |
OCaml Demo Project |
Jan 09, 2022 |
|
Shell |
10 |
Relocatable OCaml Project |
Apr 30, 2023 |
|
C |
220 |
SCIP - Solving Constraint Integer Programs |
Apr 26, 2023 |
|
Julia |
79 |
Julia interface to SCIP solver |
Mar 27, 2023 |
|
C++ |
2 |
Max-SAT frontend for SCIP |
Sep 11, 2018 |
|
Swift |
4 |
A small Project to test FaceID with UIKit & SwiftUI |
Jan 14, 2023 |
|
OCaml |
3 |
The empty (OCaml) project |
Jan 28, 2023 |
|
OCaml |
2 |
An OCaml test runner inspired by Tasty |
Dec 01, 2021 |
|
TypeScript |
5 |
Small deno test |
Nov 20, 2022 |
|
OCaml |
3 |
Small library to work with OCaml cmi files |
Apr 11, 2018 |
|
TypeScript |
8 |
SCIP indexer for TypeScript and JavaScript |
Aug 02, 2022 |
|
Go |
6 |
Run your small or test website project server by go |
Jun 29, 2022 |
|
C# |
32 |
A small test project for multi-display setup on Unity |
Dec 03, 2021 |
|
Java |
4 |
Making a small test GraphQL project to understand it properly |
Mar 16, 2022 |
|
GDScript |
2 |
Small Godot project to test IPv6/IPv4/Dual stack sockets |
Aug 08, 2023 |
|
OCaml |
2 |
OCaml Raytracer - 3110 Final Project |
Dec 21, 2020 |
|
Dart |
2 |
Small Flutter Cupertino test |
Oct 16, 2020 |
|
Ruby |
2 |
A small test framework. |
Dec 15, 2012 |
|
OCaml |
4 |
a small basic ocaml module for parsing s-expressions |
Jul 30, 2022 |
|
OCaml |
7 |
A small to-do list tracker written in OCaml. |
Aug 07, 2022 |
|
OCaml |
7 |
Small library to compute maximal sharing of OCaml datastructures. |
Apr 08, 2020 |
|
C |
14 |
Reduced and simplified C interface to SCIP |
Mar 27, 2023 |
|
C++ |
54 |
Java interface for the SCIP Optimization Suite |
Feb 25, 2023 |
|
Cython |
634 |
Python interface for the SCIP Optimization Suite |
Apr 29, 2023 |
|
C |
2 |
mixed integer semidefinite programming plugin for SCIP |
Dec 15, 2022 |
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |