Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for python ocaml
ocaml
x
python
x
62 search results found
Awesomo
⭐
9,084
Cool open source projects. Choose your project and get involved in Open Source development now.
Pyre Check
⭐
6,606
Performant type-checking for python.
Extism
⭐
3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
Klipse
⭐
2,975
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
Comby
⭐
1,996
A code rewrite tool for structural search and replace that supports ~every language.
Cpbook Code
⭐
1,859
CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)
Nodebook
⭐
1,490
Nodebook - Multi-Lang Web REPL + CLI Code runner
42_subjects
⭐
539
All Subjects of 42 School
Neal
⭐
404
🔎🐞 A language-agnostic linting platform
Moss.py
⭐
234
Python client for Moss: A System for Detecting Software Similarity
Nbdkit
⭐
198
Read only mirror of https://gitlab.com/nbdkit/nbdkit
42_corrections
⭐
168
Corrections files of 42 School
Pyml
⭐
162
OCaml bindings for Python
Darkart
⭐
155
A binary interface let Chez Scheme use Python, Lua, Ruby etc's library
Coral
⭐
116
The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.
Notebooks
⭐
100
📓 A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc
Pythonlib
⭐
91
A library to help writing wrappers around ocaml code for python
Ciel
⭐
70
A distributed execution engine for cloud computing
Polyglot Euler
⭐
69
📜 Project Euler solutions in various programming languages
Lymp
⭐
68
Use Python functions and objects from OCaml
Bap Tutorial
⭐
66
The BAP tutorial
Gamepad
⭐
58
A Learning Environment for Theorem Proving
Ocaml Py
⭐
49
Python 3.5+ bindings for OCaml
Teaching Fp
⭐
45
Techniques, advice, and anecdotes about how to teach Functional Programming
Lambda Auth
⭐
45
authenticated data structures, generically
Sublime Text Merlin
⭐
42
Merlin package for Sublime Text 3
Adventofcode2017
⭐
38
My solutions for AoC 2017, using Nim, OCaml, and Python
Cs Resources
⭐
36
Curated Computer Science and Programming Resource Guide
Libdash
⭐
35
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.
Pyre Ast
⭐
34
pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.
Iec Checker
⭐
34
Static analysis of IEC 61131-3 programs
Pycoq
⭐
34
Python bindings for the Coq interactive proof assistant
Ppx_python
⭐
30
[@@deriving] plugin to generate Python conversion functions
Adventofcode2020
⭐
29
My solutions for AoC 2020
Ocaml_python_bindgen
⭐
27
Generate Python bindings via pyml from OCaml value specifications
Deoplete Ocaml
⭐
24
Asynchronous completion for OCaml in vim or neovim
Facile
⭐
21
Python constraint programming library
Ocaml Sklearn
⭐
19
scikit-learn for OCaml
Sublime Ocp Index
⭐
17
Sublime Text plugin which provides OCaml autocompletion with ocp-index
Asmdot
⭐
16
[Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Python | Rust).
Rules_reason
⭐
16
📐Reason/OCaml rules and tools for Bazel
Unmark
⭐
15
Painless micro-benchmarks
Stechec2
⭐
15
Client-server AI match maker used for the French national programming contest Prologin.
Roosterize
⭐
15
Tool for suggesting lemma names in Coq verification projects
Syndicator
⭐
15
Dropbox inspired Unity indicator for Unison.
Amfinder
⭐
14
The Automatic Mycorrhiza Finder (AMFinder) allows for automatic computer vision-based identification and quantification of AM fungal colonisation and intraradical hyphal structures on ink-stained root images using convolutional neural networks.
Portage Overlay
⭐
13
Gentoo portage overlay
Adventofcode 2020
⭐
12
Solutions for https://adventofcode.com/2020
Opine
⭐
9
Opine is an OCaml library that unparses the python AST produced by pyre-ast library back to python source code.
Dreamcoder
⭐
9
Experiments
⭐
9
Just toys
Scraps
⭐
8
Miscellaneous code scraps
Mp2i Jupyter Docker
⭐
7
Docker image to run JupyterLab with OCaml, C++, and Python kernels
Nest
⭐
7
Personal Gentoo overlay
Gsel
⭐
7
Pathos
⭐
7
pathos is a collection of pathfinding experimentations to improve escape from dangerous areas
Codetype
⭐
7
🔍 A source code identification tool.
Peut On Coder Avec Ocaml Python Et C Par Sms
⭐
6
Je souhaite répondre à la question suivante : peut on coder avec OCaml, Python et C par SMS ? Oui ! Attention, proof of concept à héberger soi-même localement, et c'est payant avec Twilio.com, et très expérimental ! Mais amusant !
Advent_of_code_2016
⭐
6
My solutions for Advent of Code 2016
Diaspora User Directory
⭐
6
an attempt to build a decentralized user directory of diaspora* users
Geodesy
⭐
6
A pragmatic and efficient geodesy toolkit
Sublimecodeintel
⭐
6
💡 SublimeCodeIntel LSP
Misc
⭐
5
Miscellaneous tools and notes
Ows
⭐
5
A service to analyse the state of the opam repository w.r.t. all available version of the OCaml compiler.
Cheat Sheet
⭐
5
Bunch of useful cheat sheets for different languages!
Related Searches
Python Django (28,897)
Python Machine Learning (20,195)
Python Flask (17,643)
Python Dataset (14,792)
Python Docker (14,113)
Python Tensorflow (13,736)
Python Command Line (13,351)
Python Deep Learning (13,092)
Python Jupyter Notebook (12,976)
Python Network (11,495)
1-62 of 62 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.