oab Goto Github PK
Name: Ole Jørgen Abusdal
Type: User
Location: Bergen
Name: Ole Jørgen Abusdal
Type: User
Location: Bergen
The ABS modeling language and surrounding tools
Multi-dimensional arrays in Agda
Alloy experiments
benchmarks for dimension lifting and padding
A small script to dynamically update DNS records using the Hetzner DNS-API.
Some exercises to get familiar with KeY
Lean 4 programming language and theorem prover
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
A library and language for building parsers, interpreters, compilers, etc.
The Pika Parser reference implementation
Python implementation of Mathematics of Arrays (MOA)
ABS refactoring experiments
A Rust compiler front-end for IDEs
An experiment in producing traces
ANTLR4 language support for Visual Studio Code
The WebAssembly Binary Toolkit
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.