Repository Index

C# pure functional programming framework - come and get declarative!

• c-sharp
• functional-languages
• monads
• monad-transformers

OpenCV wrapper for .NET

• opencv
• wrapper
• dotnet
• nuget

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

• proof-assistant
• coq
• theorem-proving
• dependent-types

Brings SQL and AI together.

• sqlflow
• sql-syntax
• ai
• transpiler

A set of .NET libraries for Windows implementing PInvoke calls to many native Windows APIs with supporting wrappers.

• pinvoke
• dotnet
• dotnet-standard
• controls

A Rust compiler backend targeting CIL(.NET IR) and C.

• backend
• compiler
• csharp
• dotnet

c-api for imgui (https://github.com/ocornut/imgui) Look at: https://github.com/cimgui for other widgets

• imgui
• gui
• gamedev
• binding

.NET bindings for Direct3D12, Direct3D11, WIC, Direct2D1, XInput, XAudio, X3DAudio, DXC, Direct3D9 and DirectInput.

• direct3d
• direct3d11
• direct3d12
• graphics

Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux

• ios
• java
• jvm
• robovm

R wrapper for highcharts

• r
• highcharts
• visualization
• cran

Echarts 5 for R

• r
• rstats
• htmlwidgets
• htmlwidget

A scripting language for .NET Core

• c-sharp
• programming-language
• mond
• scripting

The Type Linter for JS

• javascript
• types
• linter
• assertion

Multi target HAML (HAML for PHP, Twig, <your language here>)

• haml
• php
• twig
• haml-php

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

• ddd
• ddd-architecture
• ddd-example
• transpiler

:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

• programming-language
• language
• programming-paradigms
• repl

LuaJIT ffi binding for imgui, backends and extension widgets

• luajit
• imgui
• luajit-ffi

Railo is an Open Source CFML Server

Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them

• formal-verification
• fuzzing
• oss-fuzz
• proofs

A common cross-platform GUI library, the core uses Lazarus LCL.

• go
• govcl
• gui
• liblcl

Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.

• cron
• csharp
• date-time
• dotnet

Get inside your JVM

• jvm
• java
• monitoring
• repl

Decorator which checks whether the function is called with the correct type of parameters.

• python
• type-checking
• runtime-checking
• typechecking

Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency