Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

49–72 of 75 · Most stars

Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file

  • csharp
  • dotnet
  • csharp-script
  • dotnet-exec

Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

A total recursion scheme library for Dhall

  • dhall
  • recursion-schemes

Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

Kotlin recursion schemes with Arrow

  • recursion-schemes
  • kotlin
  • functional-programming
  • recursive-structures

🚧 Flexible mechanism to make execution flow interruptible.

  • hacktoberfest

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

  • golang
  • go
  • goroutine