fspeech

fspeech's Stars

• jacob14916/mathchat

  Math chat using Meteor + MathJax

  Language:JavaScript1

• jacob14916/TowerOffense

  Real-time strategy game built using meteor. Developed in 2014, migrated from Bitbucket 2018.

  Language:JavaScript1

• barbagroup/CFDPython

  A sequence of Jupyter notebooks featuring the "12 Steps to Navier-Stokes" http://lorenabarba.com/

  Language:Jupyter Notebook3.4k1.2k

• leela-zero/leela-zero

  Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

  Language:C++5.3k1k

• fhelwanger/ocaml-reason-wsl

  Workarounds to use ocaml and reason on windows through WSL

  Language:Batchfile28

• isocpp/CppCoreGuidelines

  The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

  Language:CSS42.7k5.4k

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.7k446

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig34.4k2.5k

• simit-lang/simit

  A language for computing on sparse systems

  Language:C++45452

• yamadapc/yesod-servant-example

  Example of embedding Servant within a Yesod Application

  Language:Haskell152

• cython/cython

  The most widely used Python to C compiler

  Language:Python9.4k1.5k

• facebookresearch/fastText

  Library for fast text representation and classification.

  Language:HTML25.9k4.7k

• rlabbe/Kalman-and-Bayesian-Filters-in-Python

  Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.

  Language:Jupyter Notebook16.6k4.2k

• rswier/c4

  C in four functions

  Language:C9.7k1.4k

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.5k72

• DonJayamanne/pythonVSCode

  This extension is now maintained in the Microsoft fork.

  Language:TypeScript2.1k1.5k

• google/hyou

  Pythonic Interface to manipulate Google Spreadsheet.

  Language:Python11024

• leanprover/tutorial

  Lean Tutorials

  Language:TeX4446

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k217

• epfldata/dblab

  A framework for building database systems by high-level programming, and getting really good performance nevertheless.

  Language:Scala13628

• keean/Clors

  Clors Logic Language.

  Language:C++8

• keean/Parser-Combinators

  C++ parser combinator library

  Language:C++979

• emina/rosette

  The Rosette solver-aided host language, sample solver-aided DSLs, and demos

  Language:Racket63974

• explosion/spaCy

  💫 Industrial-strength Natural Language Processing (NLP) in Python

  Language:Python29.9k4.4k

• beckus/AlloyAnalyzer

  An unofficial copy of MIT's Alloy Analyzer model checking tool.

  Language:Java2014

• triska/ediprolog

  Emacs Does Interactive Prolog

  Language:Emacs Lisp378

• SWI-Prolog/swipl-devel

  SWI-Prolog Main development repository

  Language:C959176

• Sarcasm/irony-mode

  A C/C++ minor mode for Emacs powered by libclang

  Language:Emacs Lisp90799

• zeux/pugixml

  Light-weight, simple and fast XML parser for C++ with XPath support

  Language:C++4k722

• msys2/MINGW-packages

  Package scripts for MinGW-w64 targets to build under MSYS2.

  Language:Shell2.3k1.2k