Oscar Eriksson (br4sco)

br4sco

Geek Repo

Github PK Tool:Github PK Tool

Oscar Eriksson's repositories

ipoptml

OCaml bindings for IPOPT

Language:OCamlLicense:MITStargazers:2Issues:2Issues:0
Language:PythonLicense:MITStargazers:1Issues:0Issues:0

ag.el

An Emacs frontend to The Silver Searcher

Language:Emacs LispStargazers:0Issues:0Issues:0
Language:JuliaStargazers:0Issues:0Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0

miking

Miking - the meta viking: a meta-language system for creating embedded languages

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

miking-dae

The main repo for a DAE library and DAE DSL implemented in Miking

Language:ShellStargazers:0Issues:0Issues:0
Language:Monkey CLicense:MITStargazers:0Issues:0Issues:0

miking-emacs

Miking mode for Emacs

Language:Emacs LispStargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

miking-workshop-2022-tutorials

Code and descriptions for the tutorials of the Miking Workshop 2022

Language:Monkey CLicense:MITStargazers:0Issues:0Issues:0

modelyze

Modelyze: A host language for modeling and analysis of cyber-physical systems

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

License:MITStargazers:0Issues:0Issues:0

sundialsml

An OCaml interface to the Sundials suite of numeric solvers.

License:NOASSERTIONStargazers:0Issues:0Issues:0

three.js

JavaScript 3D library.

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0