リポジトリ

sdiehl のリポジトリ

172 件の対応リポジトリ

Optimised bilinear pairings over elliptic curves

最終コミット 2024/02/03

 (55 stars) (7 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

最終コミット 2014/12/18

 (95 stars) (11 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Paris Functional Programming Meetup

最終コミット 2020/03/21

 (27 stars) (2 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Maranget's matrix algorithm for pattern match exhaustiveness and reachability

最終コミット 2026/06/19

 (3 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Symbolic logic expressions

最終コミット 2020/07/01

 (16 stars) (5 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Fast polynomial arithmetic in Haskell

最終コミット 2019/09/30

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Haskell library for manipulating and evaluating polynomials

最終コミット 2019/06/13

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Utilities for pretty printing LaTeX from Haskell

最終コミット 2014/03/16

 (3 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Simple printing with Text

最終コミット 2017/01/03

 (10 stars) (3 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

A functional language with algebraic effects, multishot continuations, and native codegen

最終コミット 2026/08/24

 (160 stars) (8 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Bootstrapping Prism

最近のコミットデータはありません

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Install and manage versions of the Prism language on Unix-like OS

最終コミット 2026/08/10

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Library for training process reward models

最終コミット 2025/06/03

 (29 stars) (4 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Cython interface for Pure

最終コミット 2011/01/10

 (2 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)

Visualize python control flow

最終コミット 2012/06/25

 (3 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Python library for scraping data from Craigslist

最終コミット 2011/08/26

 (6 stars) (2 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Fork of sourceforge.net/projects/pymathml

最終コミット 2011/08/22

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Python bindings for nanomsg

最終コミット 2013/09/06

 (46 stars) (2 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Python term rewriting

最終コミット 2013/02/13

 (30 stars) (4 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Py0MQ: Python bindings for zeromq

最終コミット 2012/08/16

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)