Block or Report
Block or report wrq
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLanguage
Sort by: Recently starred
Starred repositories
Chez Scheme distribution with many goodies packed in
An extensible framework for geospatial data science and geostatistical modeling fully written in Julia
Beautiful Text-based User Interfaces for Scala
Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning"
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
Mill is a graph-based JVM build tool that supports Java and Scala. Mill aims to make your project’s build process performant, maintainable, and flexible
Scala language server with rich IDE features 🚀
PyPy is a very fast and compliant implementation of the Python language.
Cairo in Go: vector to raster, SVG, PDF, EPS, WASM, OpenGL, Gio, etc.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
Framework for testing concurrent data structures
Some English interpretations of Lao Tzu's Tao Te Ching.
Advanced evolutionary computation library built directly on top of PyTorch, created at NNAISENSE.
Building a population of models that trade crypto and mutate iteratively
The resulting source code produced at the end of each chapter in Handbook of Neuroevolution Through Erlang.
Python implementation of the NEAT neuroevolution algorithm
Symbolic-execution-based verifier for the Viper intermediate verification language.
Love2D implementation of The Bibites Realtime NEAT simulator.