Pinned Repositories
Abstract-Algebra
Implements group theory in Python
AIToolbox
A toolbox of AI modules written in Swift: Graphs/Trees, Support Vector Machines, Neural Networks, PCA, K-Means, Genetic Algorithms
amoveo-c-miner
a miner for the amoveo blockchain written in the c language
ann.apl
Simple Neural Network Examples in 6 lines APL
Coda
Samsung Natural Language Processing Pipeline (basically for Russian language): morphology, dependency parser and much more
cosmos-sdk
:chains: Blockchain Application Framework :sparkles:
FsLab
A collection of packages for data science with F#
lean4
Lean4 work in progress repo
metacoq
Metaprogramming in Coq
muzero-general
MuZero
bdbabiak's Repositories
bdbabiak/Abstract-Algebra
Implements group theory in Python
bdbabiak/FsLab
A collection of packages for data science with F#
bdbabiak/lean4
Lean4 work in progress repo
bdbabiak/metacoq
Metaprogramming in Coq
bdbabiak/muzero-general
MuZero
bdbabiak/awesome-elm
A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list. Feel free to contribute. :rocket:
bdbabiak/awesome-fsharp
A curated list of awesome F# frameworks, libraries, software and resources.
bdbabiak/bellman-bignat
bdbabiak/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
bdbabiak/cosmic
Universal token bonding for Cosmos networks
bdbabiak/Deedle
Easy to use .NET library for data and time series manipulation and for scientific programming
bdbabiak/deepmath
Experiments towards neural network theorem proving
bdbabiak/elm-format
elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
bdbabiak/elmboy
A Nintendo™ Game Boy™ Emulator written in Elm.
bdbabiak/Fable
F# to JavaScript Compiler
bdbabiak/feyncalc
Mathematica package for algebraic calculations in elementary particle physics.
bdbabiak/fsharp
The F# compiler, FSharp.Core library, and tools for F#
bdbabiak/FSharp.Data.SqlClient
A set of F# Type Providers for statically typed access to MS SQL database
bdbabiak/FSharpKoans
A simple, fun, and interactive way to learn the F# language through testing.
bdbabiak/gaia
Cosmos Hub
bdbabiak/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
bdbabiak/group-explorer
Group theory visualization software in the browser
bdbabiak/learn-elm
:rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!
bdbabiak/liegroups
Python implementation of SO2, SE2, SO3, and SE3 matrix Lie groups using numpy or pytorch
bdbabiak/machine-learning-with-ruby
Curated list: Resources for machine learning in Ruby
bdbabiak/neural-amp-modeler
Neural network emulator for guitar amplifiers.
bdbabiak/osmosis
The AMM Laboratory
bdbabiak/PhotorealismEnhancement
Code & Data for Enhancing Photorealism Enhancement
bdbabiak/tendermint-rs
bdbabiak/tuareg
Emacs OCaml mode