Simmo Saan (sim642)

sim642

Geek Repo

Company:University of Tartu

Location:Estonia

Home Page:https://sim642.eu

Github PK Tool:Github PK Tool


Organizations
goblint
sws-lab
tum-cit-pl
weechat

Simmo Saan's repositories

adventofcode

Advent of Code solutions of 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022 and 2023 in Scala

odep

Dependency graphs for OCaml modules, libraries and packages

Language:OCamlLicense:MITStargazers:30Issues:2Issues:7

dune-lint-demo

OCaml dune linting demos

Language:OCamlStargazers:1Issues:0Issues:0

ppx_easy_deriving

Easily define PPX derivers without boilerplate and runtime overhead

Language:OCamlLicense:MITStargazers:1Issues:2Issues:0

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

Language:JavaScriptStargazers:0Issues:1Issues:0

batteries-included

Batteries Included project

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0
Language:SWIGLicense:NOASSERTIONStargazers:0Issues:1Issues:0

debug-adapter-protocol

Defines a common protocol for debug adapters.

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:1Issues:0

duet

Duet: static analysis for unbounded concurrency

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

FLL-scorer

FIRST LEGO League Robot Game scoring tool

Language:JavaScriptLicense:MITStargazers:0Issues:3Issues:6

gospel

A tool-agnostic formal specification language for OCaml.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

jingoo

OCaml template engine almost compatible with jinja2

License:NOASSERTIONStargazers:0Issues:0Issues:0

jsoo-react

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

lwt

OCaml promises and concurrent I/O

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:OCamlStargazers:0Issues:2Issues:0
Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

ocamlearlybird

OCaml debug adapter

Language:OCamlLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:1Issues:0

ppx_deriving

Type-driven code generation for OCaml

Language:OCamlLicense:MITStargazers:0Issues:2Issues:0

ppx_deriving_hash

[@@deriving hash]

Language:OCamlLicense:MITStargazers:0Issues:2Issues:4

ppx_deriving_yojson

A Yojson codec generator for OCaml.

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ppx_expect

Cram like framework for OCaml

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

sv-sanitizers

SV-COMP wrapper for sanitizers

Language:PythonLicense:MITStargazers:0Issues:2Issues:2
Language:PythonStargazers:0Issues:2Issues:0

user-documentation

User documentation of JabRef

Language:CSSLicense:CC-BY-4.0Stargazers:0Issues:1Issues:0

vscode-ocaml-platform

Visual Studio Code extension for OCaml

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0