serge-sans-paille/tog serge-sans-paille/tog

  • Stars
    star
    4
  • Rank 3,293,125 (Top 66 %)
  • Language
    Python
  • License
    BSD 3-Clause "New...
  • Created about 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
serge-sans-paille/tog
github

serge-sans-paille

Reviews

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

Repository Details

Static typing of python scientific program using Hindley Milner algorithm

More Repositories

1

pythran

Ahead of Time compiler for numeric kernels
C++
1,993
star
2

frozen

a header-only, constexpr alternative to gperf for C++14 users
C++
1,287
star
3

gast

Python AST that abstracts the underlying Python version
Python
136
star
4

beniget

Extract semantic information about static Python code
Python
51
star
5

numpy-benchmarks

A collection of scientific kernels using the numpy module for benchmarking purpose
Python
37
star
6

mapping-line-to-offset

C
12
star
7

params14

keyword parameters for C++14
C++
11
star
8

num-utils-ng

programs for dealing with numbers from the command line
C
8
star
9

talks

serge sans paille's talks
JavaScript
8
star
10

fortify-test-suite

A minimal test suite for compilers targeting -D_FORTIFY_SOURCE=1 compatibility
C
6
star
11

stack-clash-tracer

A QBDI based tracer to check `-fstack-clash-protection` implementation
C
6
star
12

pythran-openblas

Wheel builder for OpenBLAS
Python
5
star
13

scipy-kernels

Jupyter Notebook
4
star
14

hardening-artefacts

A collection of small tests for hardening artefacts produced by various compilers
Shell
3
star
15

sivart

Poor man's build farm
Python
3
star
16

pythran-stories

pythran blog
HTML
3
star
17

sautoconf

simpler autoconf
C
3
star
18

cxx-snippets

Explore C++ compilation through various code snippets
C++
3
star
19

isl

Integer Set Library mirror
C
2
star
20

penty

Python
2
star
21

scipy2021

slide deck for scipy 2021 conference
CSS
2
star
22

compil-ou-face

Material for some teachings on compilation (in french)
Jupyter Notebook
2
star
23

jit-do-it

JIT compilation for C
LLVM
2
star
24

frozen_conan

conan setup for frozen
Python
2
star
25

pythran-asv

airspeed velocity-powered performance regression testing
Python
1
star
26

preprocessor-utils

Python
1
star
27

pythran-asv-snapshot

Python
1
star