ulfnorell Goto Github PK
Name: Ulf Norell
Type: User
Twitter: ulfnorell
Ulf Norell's Projects
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-bench
Benchmarking tool for compile-time performance of Agda programs
agda-criterion
Agda bindings to the Criterion benchmark library
agda-cufp
CUFP tutorial 2014
agda-logo
agda-nofib
Benchmark programs for Agda
agda-prelude
Programming library for Agda
agda-readline
Bindings to editline
agda-stdlib
The Agda standard library
agda-summer-school
Summer school on programming in Agda
agda-tactics
agda-test
Agda test
aim23-talk
categories
Categories parametrized by morphism equality, in Agda
category-theory-experiments
curves
Haskell library for drawing pretty pictures
effects
Porting the Idris Effects library to Agda
github-action-playground
gradualizer
insane
Toy typechecker for Insanely Dependent Types
me-em
Model Examples, Example Models
primes
Prime number generator in Agda
purescript-thermite-example
An example application using PureScript's Thermite on top of React.
quasi-quote
Quasi-quoting library for agda
row-types
A Haskell library for open records and variants using closed type families and type literals
sc2-proto
Protobuf bindings to the StarCraft 2 API
schmitty
Agda bindings to SMT-LIB2 compatible solvers.
statem-laws
Using quickspec on stateful code
version
Utility program for version switching
x86-agda
Inline, type safe X86-64 assembly programming in Agda
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.