bdbabiak

bdbabiak's Stars

• sdatkinson/neural-amp-modeler

  Neural network emulator for guitar amplifiers.

  Language:Python1.8k138

• osmosis-labs/osmosis

  The AMM Laboratory

  Language:Go887580

• gap-system/gap

  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

  Language:GAP804163

• utiasSTARS/liegroups

  Python implementation of SO2, SE2, SO3, and SE3 matrix Lie groups using numpy or pytorch

  Language:Python33160

• naftaliharris/Abstract-Algebra

  Implements group theory in Python

  Language:Python7322

• nathancarter/group-explorer

  Group theory visualization software in the browser

  Language:JavaScript22326

• sagemath/sage-windows

  Build tools for the Sagemath Windows installer

  Language:Shell35047

• alexpatel/lean-modal

  modal logic library for LEAN theorem prover

  Language:TeX101

• erohkohl/mlsolver

  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.

  Language:Python5812

• skbaek/Ethics

  I.I-XI of Spinoza's Ethics, formalized in Coq

  Language:HTML182

• fsprojects/awesome-fsharp

  A curated list of awesome F# frameworks, libraries, software and resources.

  1.2k98

• wilfredinni/javascript-cheatsheet

  All-inclusive Javascript cheatsheet

  Language:Vue495127

• dmcinnes/HTML5-Asteroids

  Pure Javascript Asteroids

  Language:JavaScript337293

• avh4/elm-format

  elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

  Language:Haskell1.3k145

• sporto/awesome-elm

  A curated list of useful Elm tutorials, libraries and software. Inspired by awesome list. Feel free to contribute. :rocket:

  3.6k221

• dvajs/dva

  🌱 React and redux based, lightweight and elm-style framework. (Inspired by elm and choo)

  Language:JavaScript16.2k3.2k

• excaliburjs/Excalibur

  🎮 Your friendly TypeScript 2D game engine for the web 🗡️

  Language:TypeScript1.8k189

• Malax/elmboy

  A Nintendo™ Game Boy™ Emulator written in Elm.

  Language:Elm3128

• turbulenz/turbulenz_engine

  Turbulenz is a modular 3D and 2D game framework for making HTML5 powered games for browsers, desktops and mobile devices.

  Language:TypeScript4.6k513

• rofrol/awesome-elm-gamedev

  A curated list of useful Elm tutorials, libraries and software for Game Development. Inspired by awesome list. Feel free to contribute.

  1729

• dwyl/learn-elm

  :rainbow: discover the beautiful programming language that makes front-end web apps a joy to build and maintain!

  Language:HTML48141

• arbox/machine-learning-with-ruby

  Curated list: Resources for machine learning in Ruby

  Language:Ruby2.1k180

• fsprojects/FSharp.Data.SqlClient

  A set of F# Type Providers for statically typed access to MS SQL database

  Language:F#20571

• fslaborg/zzarchive-FsLab

  A collection of packages for data science with F#

  Language:F#15942

• elmish/react

  Elmish React extensions for writing SPA and Native apps

  Language:F#10421

• fslaborg/Deedle

  Easy to use .NET library for data and time series manipulation and for scientific programming

  Language:F#937195

• alex-ozdemir/bellman-bignat

  Multiprecision arithmetic & RSA accumulators, within SNARKs

  Language:Rust5223

• dotnet/docs

  This repository contains .NET Documentation.

  4.2k5.9k

• Apress/expert-fsharp-4.0

  Source code for 'Expert F# 4.0' by Don Syme, Adam Granicz, and Antonio Cisternino

  Language:JavaScript3612

• ccdschool/fsharpdaybyday

  Learn F# in tiny increments

  Language:F#16024