dim / 3D Application based on SVG for graphic designers

A categorical programming language with effects

Unofficial and untested binary distributions of GHC on Alpine Linux. Multi-arch (linux/amd64, linux/arm64/v8) GHC musl docker images. Please submit Pull Requests to the GitLab repository. Mirror of

Optimization Modeling Using mip Solvers and large language models

The Ruby Programming Language

#StandWithUkraine banner and related documents

OpenMTP - Advanced Android File Transfer Application for macOS

An experiment around automated theorem proving in Haskell

OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

OPC UA library for python >= 3.10

Haskell binding for liblbfgs

My CTF challenges, especially cryptography

constraint level if statements

Docker image with GHC+musl for static executables

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)

The opensmt solver

The world's most hated IT stickers

DWSIM is a Steady-State and Dynamic Sequential Modular Chemical Process Simulator for Windows, Linux and macOS.

MSVC via Wine in Docker

Homebrew formulae for formal methods

A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat

Code for "Latent ODEs for Irregularly-Sampled Time Series" paper

SCIP - Solving Constraint Integer Programs

RNA vaccines have become a key tool in moving forward through the challenges raised both in the current pandemic and in numerous other public health and medical challenges. With the rollout of vacc…