This is stars and forks stats for /McMasterU/HashedExpression repository. As of 03 May, 2024 this repository has 41 stars and 3 forks.
HashedExpression Haskell-embeded Algebraic Modeling Language: solving mathematical optimization with type-safety, symbolic transformation and C-code generation. Further reading: Type-safe Modeling for Optimization Features A type-safe, correct-by-construction APIs to model optimization problems using type-level programming. For example, adding 2 expressions with mismatched shape or element type (R or C) will result in type error will result in type error: λ> let x = variable1D @10 "x" λ> let...
HashedExpression Haskell-embeded Algebraic Modeling Language: solving mathematical optimization with type-safety, symbolic transformation and C-code generation. Further reading: Type-safe Modeling for Optimization Features A type-safe, correct-by-construction APIs to model optimization problems using type-level programming. For example, adding 2 expressions with mismatched shape or element type (R or C) will result in type error will result in type error: λ> let x = variable1D @10 "x" λ> let...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
danr/structural-induction | Haskell | 4 | 0 | 1 | 0 |
adams549659584/go-proxy-bingai | HTMLJavaScriptVue | 8.1k | 0 | 7.8k | 0 |
thexyno/nixos-config | NixShellLua | 52 | +1 | 5 | -1 |
eldade/GPUZipCracker | Objective-C++C++Objective-C | 41 | 0 | 6 | 0 |
roburio/albatross | OCamlShellC | 131 | 0 | 15 | 0 |
fangq/mcx | PascalCJupyter Notebook | 98 | 0 | 63 | 0 |
JeffBezanson/femtolisp | SchemeCCommon Lisp | 1.5k | 0 | 112 | 0 |
Saltssaumure/pios-discord-theme | SCSSCSSJavaScript | 82 | 0 | 116 | 0 |
aguirre-valeria/educando-ecommerce | CSSSCSSHTML | 2 | 0 | 0 | 0 |
kbzt/kleidi.ca | AstroJavaScriptCSS | 4 | 0 | 0 | 0 |