phannebohm

phannebohm's Stars

• OpenModelica/OMTeaching

  Resources for teaching and tutorials

  Language:Jupyter Notebook22

• rust-lang/rustlings

  :crab: Small exercises to get you used to reading and writing Rust code!

  Language:Rust54.6k10.2k

• looms-polimi/Parallel_manipulators

  Language:Modelica41

• AMIT-HSBI/PNlib

  Free Modelica library for modelling extended hybrid Petri Nets (xHPN)

  Language:Modelica1311

• corrosion-rs/corrosion

  Marrying Rust and CMake - Easy Rust and C/C++ Integration!

  Language:CMake1.1k107

• dense-analysis/ale

  Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support

  Language:Vim Script13.6k1.4k

• fathyb/carbonyl

  Chromium running inside your terminal

  Language:Rust14.7k288

• alt-romes/hegg

  Fast equality saturation in Haskell

  Language:Haskell778

• mookid/diffr

  Yet another diff highlighting tool

  Language:Rust57422

• xrg-simulation/SMArtIInt

  Simple Modelica Artificial Intelligence Interface

  Language:C++113

• CIFASIS/modelicacc

  Modelica C Compiler implemented in C++ to develop and test novel algorithms for large scale models.

  Language:C++119

• DigitalLogicSimCommunity/Digital-Logic-Sim-CE

  Community Edition of SebLague 's Digital Logic Sim

  Language:C#16129

• phoboslab/qoi

  The “Quite OK Image Format” for fast, lossless image compression

  Language:C7k330

• TeamNewPipe/NewPipe

  A libre lightweight streaming front-end for Android.

  Language:Java31.8k3.1k

• BSVino/MathForGameDevelopers

  Sample code for my YouTube series.

  Language:C++650107

• sjtu-liao/three-body

  Periodic orbits for Newtonian planar three-body problem

  Language:Python566

• mws262/MAE5730_examples

  My examples and extra code for Andy Ruina's intermediate dynamics course.

  Language:MATLAB3814

• artnc/chronofile

  Personal time tracking app

  Language:Kotlin24814

• google/hypernerf

  Code for "HyperNeRF: A Higher-Dimensional Representation for Topologically Varying Neural Radiance Fields".

  Language:Python896105

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k138

• wg030/jlcode

  A latex package for displaying Julia code using the listings package. The package supports pdftex, luatex and xetex for compilation.

  Language:TeX23439

• JuliaEditorSupport/julia-vim

  Vim support for Julia.

  Language:Vim Script75694

• ulfjack/ryu

  Converts floating point numbers to decimal strings

  Language:C++1.2k99

• tazeat/AutoFullscreen

  Language:JavaScript266

• snowleopard/alga

  Algebraic graphs

  Language:Haskell72269

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile61k4.7k

• jrfonseca/xdot.py

  Interactive viewer for graphs written in Graphviz's dot language.

  Language:Python872148

• acoular/acoular

  Acoular - Acoustic testing and source mapping software

  Language:Python501131

• aclements/latexrun

  A 21st century LaTeX wrapper

  Language:Python62164

• atom/atom

  :atom: The hackable text editor

  Language:JavaScript60.3k17.4k