Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Repository Index
47,133 repositories indexed
1,225–1,248 of 1,580 · Most stars
Ruby Scoring API for PMML
- ruby-gem
- pmml
- random-forest
- classification
Safe and easy wrappers for RealmSwift
- realmswift
- wrapper-library
- swift
- realm-mobile-database
CSSHórus is a library for easy and fast development of responsive and mobile websites. It contains 12 grid columns and basic style formats (Reset, Print, Grid, Misc styles) and now with 'Skins' stylizing (Typography, Lists, Links, Table, Form, Buttons) for your web project, also with RTL and LESS CSS. See my other projects -->
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.
Combine Delphi and HTML code in the same source files to compile a website into a library that runs on IIS, Apache httpd, CGI, SCGI, on http.sys or raw no-frills HTTP...
- web-development
- delphi
- http-server
- dynamic-webpages
Flowgraph package for scalable asynchronous system development
- dataflow
- scalable
- distributed
Meteor client for React Native matching Meteor Spec
- meteor
- react-native
- meteorjs
- cross-platform
Small Neovim configuration written in Lua that is specifically designed for web development.
- neovim
- neovim-config
- neovim-configuration
- vim
A Nagios/Icinga plugin for testing an MQTT broker
MicroPython version for the M5Stack CORE2
- m5stack-core2
- m5stack
- micropython
- ili9342
A Serverless Text Annotation Tool for Corpus Development
- corpus-processing
- natural-language-processing
- nlp
- serverless
Simple internal application messaging for Delphi
- dpmpackage
- delphi
- vsoft
- vcl
SVG "live" dashboard from MQTT
Library add improve test log for RSpec and WebMock, validate its according to API Blueprint and Open API, show the documentation coverage with log.
- api-blueprint
- rspec
- drafter
- json-schema
a simple vector library for Lua based on the PVector class from processing
- lua
- love2d
- vectors
- game-development
Helps you being creative in V
▶️ An awesome list of awesome Brazilian YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
Common Lisp bindings and interface to the Allegro 5 game programming library
- common-lisp
- game-development
- allegro5
- bindings
A comprehensive guide to debugging tools for modern, complex front-end applications. This handbook provides practical, real-world guidance on a complete suite of tools, from Chrome DevTools and framework extensions to integrated IDE debuggers.
- chrome-devtools
- chrome-devtools-mcp
- react-devtools
- redux-devtools
JavaLoader is a library that has been built to ease the use, development and integration of Java within ColdFusion applications.
NBehave is a framework for Behaviour-Driven Development
Extract GeoJSON from Mapbox vector tiles.
A Sane Project-wise Bookmarks Plugin with Persistent Storage Based on LSP for Neovim.