Skip to content
View dataronio's full-sized avatar
🎺
Focusing
🎺
Focusing

Block or report dataronio

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Idealized GCM from the University of Exeter

Fortran 160 147 Updated Aug 13, 2026

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java 3,000 263 Updated Aug 13, 2026

A decoder for various HF data modes

Java 100 24 Updated Jan 3, 2014

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

C++ 33,859 1,709 Updated Aug 13, 2026

Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…

Python 47,384 7,528 Updated Jul 23, 2026

FinRL®: Financial Reinforcement Learning. 🔥

Jupyter Notebook 16,002 3,462 Updated Jul 13, 2026
C 66 14 Updated Apr 20, 2026

Python implementations of the RL algorithms in examples and figures in Sutton & Barto, Reinforcement Learning: An Introduction

Python 98 27 Updated Oct 31, 2018

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Scala 38 25 Updated Aug 13, 2026

Crucible is a library for symbolic simulation of imperative programs

Haskell 774 47 Updated Aug 13, 2026

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

SMT 359 70 Updated Aug 23, 2024

Symbolic-execution-based verifier for the Viper intermediate verification language.

Scala 143 42 Updated Aug 13, 2026

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Racket 697 86 Updated Jul 31, 2026

The Vellvm (Verified LLVM) coq development.

LLVM 492 41 Updated Aug 10, 2026

Definition of the Viper intermediate verification language.

Scala 99 53 Updated Aug 13, 2026

The VerCors verification toolset for verifying parallel and concurrent software

Scala 111 38 Updated Aug 13, 2026

The opensmt solver

C++ 95 18 Updated Aug 13, 2026

Research prototype tool for modular formal verification of C, Rust and Java programs

Rust 501 71 Updated May 10, 2026

The Software Analysis Workbench

Haskell 517 84 Updated Aug 12, 2026

UCLID5: formal modeling, verification, and synthesis of computational systems

Scala 158 34 Updated Mar 2, 2026

Persistent, fast mmap'd database for Common Lisp using MOP; includes its own GC systems

Common Lisp 64 16 Updated Sep 11, 2009

Ray tracing engine, from scratch, in C++

C++ 29 3 Updated Jul 14, 2022

simple, C-like compiled programming language

Rust 298 11 Updated Aug 24, 2022

☕ Official Cup Programming Language Development Toolkit

C 286 9 Updated Jan 4, 2023

UCalgary version of forallx, an introduction to formal logic

TeX 129 44 Updated Dec 18, 2025

Looking for a guide? You came to the right place. Here you can find documentation for a variety of topics I research to make complex computing easier. For comments go to the IRC channel #nfo at the…

2,006 102 Updated Feb 10, 2024

This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as…

ATS 64 2 Updated Jan 31, 2021

The Flix Programming Language

Flix 2,726 189 Updated Aug 13, 2026

A statically typed lisp, without a GC, for real-time applications.

Haskell 6,005 185 Updated Aug 3, 2026

Boogie

Boogie 598 126 Updated Aug 9, 2026
Next