deividrvale Goto Github PK
Name: Deivid Vale
Type: User
Company: Radboud University Nijmegen
Name: Deivid Vale
Type: User
Company: Radboud University Nijmegen
Repository to define a higher-order term-library on Haskell.
A beautiful, simple, clean, and responsive Jekyll theme for academics
A Simple Library for First-Order Rewriting written in Python
Higher-Order Rewriting Tool
KoNijn is a termination and complexity tool for higher-order rewriting
A minimalistic and high-performance SAT solver
OCaml module of Nijn to generate coq scripts for checking termination proofs of higher-order rewriting systems.
Papirus icon theme for Linux
Open-source keyboard firmware for Atmel AVR and Arm USB families
This is the technical research report on narrowing techniques. We study some completeness results for reasoning about equations and functional programming.
A "language" that is compiled to SAT
Template utilizado pelo departamento de matemática como modelo de dissertações e teses de doutorado.
a higher-order termination tool
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.