Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
Repository Index
47,133 repositories indexed
25–41 of 41 · Most stars
A proper monster for front-end automated testing
Influx DB v2.0 listener plugin for Apache JMeter. Provides the possibility to see the online dashboard (aggregation table, errors, the response body of failures).
Python typing koans to learn type-hints in Python3 using Mypy
- mypy
- type-hints
- koans
- python
Todo example for koa-graphql and relay
TranslatedA back-end admin demo built with Koa + Antd + React
The Crystal Programming Language Koans
- crystal
- koans
- test-suite
- hacktoberfest
The repository host gives no description.
Security training for the apps you actually ship. Open your browser and start hacking.
GraphQL execution and error handling middleware written from scratch for Koa.
Build and manage data with a spreadsheet-like interface
Chuck Norris Programming Language
- esoteric-language
- chuck-norris
- language
- javascript
minify HTML responses like some crazy guy
Gatsby powered by Prisma 2 🚀
- gatsby
- gatsbyjs
- prisma2
- prisma-client
Universal PWA Cycle.js & Koa boilerplate with Webpack configured for ServiceWorker and HMR out of the box
Blazingly fast data comparison tool for Python, powered by Rust. Compare massive CSV/Parquet datasets instantly.
A language to transpile to brainfuck