fmgc

fmgc's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown304k28.5k

• yanevyuk/turgys-behavior-tree-plugin

  Language:GDScript274

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k118

• salmans/rusty-razor

  Razor is a tool for constructing finite models for first-order theories

  Language:Rust551

• James-Yu/LaTeX-Workshop

  Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

  Language:TypeScript10.6k532

• SwiftStudies/OysterKit

  OysterKit is a framework that provides a native Swift scanning, lexical analysis, and parsing capabilities. In addition it provides a language that can be used to rapidly define the rules used by OysterKit called STLR

  Language:Swift17823

• angelsantamaria/tum_simulator

  Language:C++3432

• godot-rust/gdnative

  Rust bindings for Godot 3

  Language:Rust3.6k210

• todotxt/todo.txt

  ‼️ A complete primer on the whys and hows of todo.txt.

  2.4k103

• balena-io/etcher

  Flash OS images to SD cards & USB drives, safely and easily.

  Language:TypeScript29.6k2.1k

• gtk-rs/gtk

  DEPRECATED, use https://github.com/gtk-rs/gtk3-rs repository instead!

  Language:Rust1.2k82

• White-Oak/qml-rust

  QML (Qt Quick) bindings for Rust language

  Language:Rust20518

• adnanademovic/rosrust

  Pure Rust implementation of a ROS client library

  Language:Rust73175

• tum-vision/tum_simulator

  Language:C++4091

• MahatmaX/YADrone

  Yet Another Drone Framework (for the AR.Drone 2)

  Language:Java3940

• jason-lang/jason

  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.

  Language:Java21667

• brson/stdx

  The missing batteries of Rust

  Language:Rust2k47

• KaTeX/KaTeX

  Fast math typesetting for the web.

  Language:JavaScript18.3k1.2k

• CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

  aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

  Language:Jupyter Notebook26.7k7.9k

• google/gson

  A Java serialization/deserialization library to convert Java Objects into JSON and back

  Language:Java23.3k4.3k

• JelteF/PyLaTeX

  A Python library for creating LaTeX files

  Language:Python2.3k286

• NathanEpstein/markov

  A compact C++ library for easily simulating common Markov processes.

  Language:C++9010

• ChaiScript/ChaiScript

  Embedded Scripting Language Designed for C++

  Language:C++2.9k331

• jblas-project/jblas

  Linear Algebra for Java

  Language:Java591149

• petermlm/ProbPy

  Probabilistic Calculus

  Language:Python434

• scottrogowski/code2flow

  Pretty good call graphs for dynamic languages

  Language:Python4k293

• EbookFoundation/free-programming-books

  :books: Freely available programming books

  336k61.5k

• hrautila/matops

  Matrix operations, implementations of BLAS/LAPACK subroutines

  Language:Go71

• fmgc/logic

  A general formula parser, in java

  Language:Java1

• fmgc/cgtToys

  Various tools to explore ideas in cgt

  Language:DOT1