Beast code in Giters

yosukeueda33's starred repositories

An Ivory library inspired by Atom

Language:HaskellNOASSERTION1300

A DSL for embedded hard realtime applications.

Language:HaskellNOASSERTION26800

An implementation of the IMP toy programming language in Haskell

Language:HaskellBSD-3-Clause500

Nondeterministic computations in Haskell

Language:HaskellLGPL-3.0800

Apache-2.0200

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Language:TLAMIT26500

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CNOASSERTION34400

netkeiba.comをスクレイピングして、競馬予測の素性を作成する。

Language:Scala11100

:mag_right: :chart_with_upwards_trend: :snake: :moneybag: Backtest trading strategies in Python.

Language:PythonAGPL-3.0517700

Support for Oanda-V20 API in backtrader

Language:PythonApache-2.012900

Python wrapper for the OANDA REST API

Language:PythonMIT32000

Machine learning on FPGAs using HLS

Language:C++Apache-2.0119100

A Python Package for Density Ratio Estimation

Language:PythonNOASSERTION12600

An R Package for Density Ratio Estimation

Language:RNOASSERTION2100

A density ratio estimator package for python using the KLIEP algorithm.

Language:PythonMIT10200