Beast code in Giters

Daniel Gerigk's starred repositories

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Language:CoqAGPL-3.036300

ExplorerPatcher

This project aims to enhance the working environment on Windows

Language:CGPL-2.02299500

Helicopter-Simulation

A complete 6DOF helicopter simulation (physics engine + visualization)

Language:CMIT6300

notebook

Jupyter Interactive Notebook

Language:Jupyter NotebookBSD-3-Clause1143200

lc3-vm

Write your own virtual machine for the LC-3 computer!

Language:Makefile119000

requests-scala

A Scala port of the popular Python Requests HTTP client: flexible, intuitive, and straightforward to use.

Language:ScalaNOASSERTION70900

scala-parallel-collections

Parallel collections standard library module for Scala 2.13+

Language:ScalaApache-2.019600

graal

GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Language:JavaNOASSERTION2006100

scala3

The Scala 3 compiler, also known as Dotty.

Language:ScalaApache-2.0573900

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

Language:OCamlBSD-2-Clause8300

almond

A Scala kernel for Jupyter

Language:ScalaBSD-3-Clause157900

polynote

A better notebook for Scala (and more)

Language:Jupyter NotebookApache-2.0449500

Cookbook

The Data Engineering Cookbook

Apache-2.01339900

zeppelin

Web-based notebook that enables data-driven, interactive data analytics and collaborative documents with SQL, Scala and more.

Language:JavaApache-2.0633600

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellMIT56700

HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda

Language:AgdaGPL-3.021600

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION242600

math-classes

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

Language:CoqMIT15900

ARC-AGI

The Abstraction and Reasoning Corpus

Language:JavaScriptApache-2.0313500

eta

The Eta Programming Language, a dialect of Haskell on the JVM

Language:HaskellBSD-3-Clause259800

scalachess

Chess API written in scala. Immutable and free of side effects.

Language:ScalaMIT63100

guava

Google core libraries for Java

Language:JavaApache-2.04975300

riscv-tomthumb

A small RISC-V RV32I core written in VHDL, intended as testbed for my personal VHDL learning

Language:VHDLMIT3200

faceswap

Deepfakes Software For All

Language:PythonGPL-3.04997800

alpha-zero-general

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Language:Jupyter NotebookMIT377400

cutechess

Cute Chess is a graphical user interface, command-line interface and a library for playing chess.

Language:C++GPL-3.058300

allie

Allie: A UCI compliant chess engine

Language:C++GPL-3.010400

cuda-convnet2

Automatically exported from code.google.com/p/cuda-convnet2

Language:CudaApache-2.077100

theano_alexnet

Theano-based Alexnet

Language:PythonBSD-3-Clause23000

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Language:PythonNOASSERTION8077900