rob-smallshire/hindley-milner-python rob-smallshire/hindley-milner-python

  • Stars
    star
    77
  • Rank 416,225 (Top 9 %)
  • Language
    Python
  • License
    MIT License
  • Created about 9 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rob-smallshire/hindley-milner-python
github

rob-smallshire

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Hindley-Milner Type Inference implemented in (although not for) Python.

More Repositories

1

mesher

Example of wrapping CGAL Delaunay triangulations and mesh refinement using pybind11
C++
40
star
2

eseries

Find value in the E-series (E6, E12, E24, etc) used for electronic components values.
Python
11
star
3

max6651

Arduino library for the MAX6651 SMBus™/I²C bus fan speed controller
C++
9
star
4

renard

Renard series are a system of preferred numbers dividing an interval from 1 to 10 into 5, 10, 20, or 40 steps.
Python
6
star
5

cartouche

A Sphinx extension to convert help() friendly docstrings to Sphinx markup
Python
5
star
6

multidrop

Multidrop USART based serial bus with routing controlled over I2C
C
2
star
7

factoradic

Conversion of integers to and from the factorial number system (factoradic) in Python and on the command-line
Python
2
star
8

trailer

GPX trail representation
Python
2
star
9

stepper-motor-controller

Automatically exported from code.google.com/p/stepper-motor-controller
C
2
star
10

keeper

A filesystem based value store for Python 3.3 and above
Python
2
star
11

pycpt

Read CPT (Color Palette Table) files produced by GMT (Generic Mapping Tools)
Python
2
star
12

at-commands

A state machine for identifying Hayes-style AT commands.
Ragel in Ruby Host
2
star
13

http-request-in-editor

Python parser for the http-request-in-editor format used by JetBrains IDEs.
Python
1
star
14

clock-gen-nano

Use an Arduino Nano (ATMega328p) to generate a 1 MHz square wave using a timer
CMake
1
star
15

motor-shield

Arduino SN754410 Quad Half-H motor driver shield.
1
star
16

asm68

A Motorola 6809 and Hitachi 6309 assembler as an embedded domain-specific language in Python 3
Python
1
star
17

avr290

Atmel AVR290: Avoid Clock Stretch with Atmel tinyAVR (for I2C slave on ATTiny20) with avr-gcc
CMake
1
star
18

dotfiles

Dotfiles
C
1
star
19

bitfield

A Python metaclass for specifying bitfields
Python
1
star
20

oven-controller

Alternative firmware for the ESTechnical T-962A oven controller.
1
star
21

A4988

Driver for A4988 stepper motor controller
C
1
star