Giters
OriRoth

OriRoth

Geek Repo

12

followers

9

following

69

stars

Github PK Tool:Github PK Tool

OriRoth's starred repositories

professional-programming

A collection of learning resources for curious software engineers

Language:PythonLicense:MITStargazers:46729Issues:989Issues:28

mypy

Optional static typing for Python

Language:PythonLicense:NOASSERTIONStargazers:18483Issues:238Issues:10705

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

Language:HTMLLicense:MITStargazers:11168Issues:23Issues:572

pyre-check

Performant type-checking for python.

Language:OCamlLicense:MITStargazers:6856Issues:112Issues:417

gitfolio

:octocat: personal website + blog for every github user

Language:JavaScriptLicense:GPL-3.0Stargazers:6458Issues:60Issues:56

brython

Brython (Browser Python) is an implementation of Python 3 running in the browser

Language:PythonLicense:BSD-3-ClauseStargazers:6392Issues:136Issues:2009

beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

Language:PythonLicense:MITStargazers:2736Issues:16Issues:358

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLLicense:NOASSERTIONStargazers:961Issues:45Issues:484

bnfc

BNF Converter

Language:TeXStargazers:588Issues:20Issues:315

greenery

Regular expression manipulation library

Language:PythonLicense:MITStargazers:335Issues:11Issues:56

mlkit

Standard ML Compiler and Toolkit

Language:Standard MLStargazers:277Issues:17Issues:86

phd-2048

Move the bricks to complete your PhD

Language:CSSLicense:NOASSERTIONStargazers:178Issues:3Issues:4

SOSML

The Online Interpreter for Standard ML, written in TypeScript.

Language:TypeScriptLicense:GPL-3.0Stargazers:177Issues:9Issues:113

smlpkg

Generic package manager for Standard ML libraries and programs

Language:Standard MLLicense:MITStargazers:161Issues:9Issues:4

eclipse-github-copilot-integration

This is an open source implementation of the Github Copilot AI Model based on reverse engineering of the VSCode and IDEA plugins.

Language:JavaLicense:MITStargazers:110Issues:20Issues:6

manticore

Parallel ML compiler

Language:Standard MLLicense:MITStargazers:71Issues:11Issues:16

slebok

Software Language Engineering Body of Knowledge

License:NOASSERTIONStargazers:46Issues:28Issues:16

flunct

A functional fluent API generator

Language:Standard MLStargazers:34Issues:3Issues:0

liquidjava

Language:JavaStargazers:31Issues:4Issues:15

python-typing-machines

Python type hints are Turing complete.

Language:PythonStargazers:29Issues:2Issues:0

tidyparse

✂️ Syntax correction in context-free and weakly context-sensitive languages.

Language:KotlinLicense:Apache-2.0Stargazers:21Issues:1Issues:1

NoHoPython

A strongly-typed, compiled dialect of Python.

Language:C#License:MITStargazers:12Issues:2Issues:15

superoop

Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)

Language:ScalaLicense:MITStargazers:10Issues:1Issues:0

ml-dev

Eclipse plug-in for Standard ML

Language:JavaStargazers:9Issues:1Issues:2

disjoint-intersection-types

Supplementary material for the paper Disjoint Intersection Types, namely Coq proofs and implementation.

Language:CoqStargazers:8Issues:1Issues:0

treetop

A C# source generator of fluent APIs from context-free grammar specifications. Generated fluent APIs implement covariant subtyping machines.

Language:C#Stargazers:5Issues:3Issues:0

first-class-trait

Type system for first-class traits

Language:HaskellStargazers:3Issues:3Issues:1

Silverchain-ObjectPascal

Silverchain Addon for ObjectPascal

Language:JavaLicense:MITStargazers:2Issues:1Issues:0

scalalr

ScaLALR : LALR parser generator for embedded DSLs in Scala

Language:ScalaLicense:MITStargazers:1Issues:3Issues:0

pip-downloader

Streamlit server code for downloading pip packages + dependencies for different OS.

Language:PythonLicense:MITStargazers:1Issues:2Issues:0