Beast code in Giters

Jean-Noël Avila's starred repositories

FiraCode

Free monospaced font with programming ligatures

Language:ClojureOFL-1.175839 712 1318

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 NotebookNOASSERTION16017 473 314

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT14768 605 1348

littlefs

A little fail-safe filesystem designed for microcontrollers

Language:CBSD-3-Clause4854 150 745

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

2725 124 46

swupdate

Software Update for Embedded Systems

Language:CGPL-2.01343 900

owl

Owl - OCaml Scientific Computing @ https://ocaml.xyz

Language:OCamlMIT1191 47 294

ocaml-multicore

Multicore OCaml

Language:OCamlNOASSERTION762 57 319

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

Language:OCamlMIT644 21 7

httpaf

A high performance, memory efficient, and scalable web server written in OCaml

Language:OCamlNOASSERTION535 19 54

KiBot

KiCad automation utility

Language:PythonAGPL-3.0521 15 478

tensorflow-ocaml

OCaml bindings for TensorFlow

Language:OCamlApache-2.0283 25 21

asciidoctor-epub3

:blue_book: Asciidoctor EPUB3 is a set of Asciidoctor extensions for converting AsciiDoc to EPUB3

Language:RubyMIT211 19 249

git

GitGitGadget's Git fork. Open Pull Requests here to submit them to the Git mailing list

Language:CNOASSERTION196 27 193

patoline

Patoline typesetting system

Language:OCamlGPL-2.0184 20 25

jsoo-react

js_of_ocaml bindings for ReactJS. Based on ReasonReact.

Language:OCamlMIT138 10 60

dune-starter

Simple template for midsize OCaml project

Language:OCamlUnlicense123 8 7

pyMCR

pyMCR: Multivariate Curve Resolution for Python

Language:PythonNOASSERTION79 5 17

cuite

(mirror) OCaml bindings to Qt toolkit.

Language:OCamlMIT63 18 5

distributed

Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.

Language:OCamlMIT57 7 6

ocaml-for-web-programming

OCaml for web programming

52 120

tensority

Strongly typed multidimensional array library for OCaml

Language:OCamlGPL-3.050 8 1

HZ

Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)

Language:OCamlMIT29 8 33

icalendar

Language:OCamlISC22 10 2

jsoo-mithril

Js_of_ocaml bindings for MithrilJS

Language:OCamlMIT19 4 1

py-mdstat

mdstat parser for Python

Language:PythonMIT16 22 2

installit

Scripts to install automatic applications under Ubuntu

Language:Shell10 3 1

jobqueue

OCaml library for forking off cpu-intensive processes.

Language:OCamlNOASSERTION900

ocaml-matrix-tuning

Code for Computer Science Club presentation on performance tuning matrix arithmetic in OCaml

Language:OCamlMIT2 20

compilateur-CdF

Language:Agda100