-
parquet-hs Public
Forked from yigitozkavci/parquet-hsRead parquet format with Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 6, 2023 -
Mini-TT Public
Forked from kino3/Mini-TTmirror of A simple type-theoretic language: Mini-TT
Haskell UpdatedMar 26, 2022 -
-
-
-
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Shell MIT License UpdatedNov 25, 2019 -
-
-
-
pampy Public
Forked from santinic/pampyPampy: The Pattern Matching for Python you always dreamed of.
Python MIT License UpdatedDec 29, 2018 -
sat-solver Public
Forked from nyuichi/yabai-sattextbook sat solver; DPLL(BCP) + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse
C++ UpdatedDec 17, 2018 -
sat_egison Public
Forked from yamashita1238/sat_egisonSAT solver written by Egison
UpdatedNov 18, 2018 -
-
formura-1 Public
Forked from formura/formuraDescribe stencil formurae without even translating them
C MIT License UpdatedJul 31, 2018 -
-
OpenFOAM-dev Public
Forked from OpenFOAM/OpenFOAM-devOpenFOAM Foundation development repository
C++ Other UpdatedDec 22, 2017 -
hamilton Public
Forked from mstksg/hamiltonSimulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
-
minidot Public
Forked from TiarkRompf/minidotDependent Object Types (DOT), bottom up
Coq UpdatedJul 19, 2017 -
double-pendulum-simulation Public
Forked from lotz84/double-pendulum-simulationHaskell Other UpdatedMay 22, 2017 -
accelerate Public
Forked from AccelerateHS/accelerateEmbedded language for high-performance array computations
Haskell Other UpdatedFeb 2, 2017 -
lz4hs Public
Forked from mwotton/lz4hsHaskell bindings to lz4
C BSD 3-Clause "New" or "Revised" License UpdatedDec 16, 2016 -
riemann-tensor Public
Calculation of Riemann Curvature Tensor in Various Computer Algebra System
-
formura Public
Forked from nushio3/formuraDescribe stencil formurae without even translating them
C MIT License UpdatedDec 2, 2016 -
-
egzact Public
Forked from greymd/egzactSimplify what can hardly be done with Shell.
Shell MIT License UpdatedApr 29, 2016 -
-
vector Public
Forked from haskell/vectorAn efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
Haskell Other UpdatedFeb 18, 2016 -
xah-math-input Public
emacs minor mode for inputting math and unicode chars
-
scmutils Public
Forked from Tipoca/scmutilsScheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.
Scheme UpdatedAug 14, 2015 -
noto-fonts Public
Forked from notofonts/noto-fontsNoto fonts, except for CJK and emoji
Apache License 2.0 UpdatedAug 12, 2015
{{ message }}