scalacenter/scalafix

Refactoring and linting tool for Scala

Language: Scala - Size: 13 MB - Last synced at: about 6 hours ago - Pushed at: about 10 hours ago - Stars: 870 - Forks: 191

MetaRocq/metarocq

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

Language: Rocq Prover - Size: 33.2 MB - Last synced at: about 10 hours ago - Pushed at: about 12 hours ago - Stars: 487 - Forks: 94

Neargye/magic_enum

Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code

Language: C++ - Size: 759 KB - Last synced at: about 14 hours ago - Pushed at: 10 days ago - Stars: 5,847 - Forks: 524

nim-lang/Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Language: Nim - Size: 123 MB - Last synced at: about 5 hours ago - Pushed at: about 8 hours ago - Stars: 17,560 - Forks: 1,504

Familyasilidaeconversionfactor705/lisp-r7v

🛠️ Build, extend, and explore a robust R7RS-compliant Lisp environment with tools for easy development and learning.

Size: 1.3 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

apache/groovy

Apache Groovy: A powerful multi-faceted programming language for the JVM platform

Language: Java - Size: 221 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 5,403 - Forks: 1,916

hylang/hy

A dialect of Lisp that's embedded in Python

Language: Python - Size: 7.36 MB - Last synced at: about 17 hours ago - Pushed at: 19 days ago - Stars: 5,402 - Forks: 376

tiny-bow/ribbon-language

The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usability.

Language: Zig - Size: 3.29 MB - Last synced at: about 24 hours ago - Pushed at: 3 days ago - Stars: 19 - Forks: 1

MateuszKubuszok/hearth

The first Scala macros' standard library.

Language: Scala - Size: 1.01 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 118 - Forks: 1

dotnet/dotNext

Next generation API for .NET

Language: C# - Size: 61.4 MB - Last synced at: 1 day ago - Pushed at: 24 days ago - Stars: 1,872 - Forks: 144

hirrolot/interface99

Full-featured interfaces for C99

Language: C - Size: 347 KB - Last synced at: about 17 hours ago - Pushed at: 9 months ago - Stars: 332 - Forks: 14

hirrolot/datatype99

Algebraic data types for C99

Language: C - Size: 1.15 MB - Last synced at: about 20 hours ago - Pushed at: 9 months ago - Stars: 1,468 - Forks: 26

INRIA/spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

Language: Java - Size: 34.9 MB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 1,875 - Forks: 370

promplate/hmr

Real hot-module reload for Python—side effects handled reactively. https://py3.online/hmr

Language: Python - Size: 261 KB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 39 - Forks: 5

LPCIC/coq-elpi

Coq plugin embedding elpi

Language: Rocq Prover - Size: 11.3 MB - Last synced at: 1 day ago - Pushed at: 5 days ago - Stars: 177 - Forks: 69

smacke/pyccolo

Declarative instrumentation for Python.

Language: Python - Size: 501 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 100 - Forks: 3

VTrelat/BARReL

A modern backend to Atelier B, in Lean

Language: Lean - Size: 2.84 MB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 0

MineZaneVale13/scala-3mh

🔧 Simplify Scala 3 development with this lightweight, customizable framework designed for rapid application building and improved productivity.

Size: 1.3 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

Sven-vh/JsonReflect

Reflection-based JSON serializer

Language: C++ - Size: 182 KB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 1

darealshinji/gendlopen

generate code to dynamically load functions using the dlopen() or LoadLibrary() API

Language: C++ - Size: 1.39 MB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 1

housing-studio/hsl

A scripting language for hypixel housing

Language: Java - Size: 1.03 MB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

AmazingMonster/conceptrodon

A C++20 metaprogramming library focusing on metafunction composition.

Language: C++ - Size: 6.86 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 13 - Forks: 1

guillep/espell

High-level interface of a pharo runtime

Language: Smalltalk - Size: 423 KB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 1 - Forks: 5

Heimdall-Organization/crystalline-language

Field-theoretic dual track python subset. Curvature, phase, and domain-driven optimization. Deterministic and interpretable.

Language: Python - Size: 591 KB - Last synced at: 4 days ago - Pushed at: 9 days ago - Stars: 1 - Forks: 0

jonathanpoelen/jln.mp

C++17 meta programming library for fast compilation speed.

Language: C++ - Size: 15.1 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 11 - Forks: 2

lac-dcc/honey-potion

Writing eBPF programs with Elixir!

Language: C - Size: 5.43 MB - Last synced at: 6 days ago - Pushed at: 9 days ago - Stars: 289 - Forks: 10

Fzhiyu1/Self-evolution-agent-java

A Java self-evolution algorithm engine powered by LLM

Language: Java - Size: 40 KB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

HaxyM/crap

Simple template meta-programming library

Language: C++ - Size: 1.13 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 5 - Forks: 1

scalameta/scalameta

Library to read, analyze, transform and generate Scala programs

Language: Scala - Size: 26.1 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 1,147 - Forks: 235

Drizin/CodegenCS

C# Toolkit for Code Generation (T4 alternative!)

Language: C# - Size: 1.31 MB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 302 - Forks: 38

nimpylib/nimpylib

"Write Python in Nim!" Python builtins/standard-Lib functions ported to Nim

Language: Nim - Size: 14.8 MB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 53 - Forks: 1

micheles/decorator

decorator

Language: Python - Size: 1.82 MB - Last synced at: 4 days ago - Pushed at: 6 months ago - Stars: 900 - Forks: 114

metashade/metashade-mtlx

Language: Python - Size: 44.9 KB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 0

jfalcou/kumi

C++20 Compact Tuple Tools

Language: C++ - Size: 2.44 MB - Last synced at: 9 days ago - Pushed at: 11 days ago - Stars: 57 - Forks: 10

aradi/fypp

Python powered Fortran preprocessor

Language: Python - Size: 413 KB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 206 - Forks: 30

usethesource/rascal

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Language: Java - Size: 1.03 GB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 442 - Forks: 82

melt-umn/silver

An attribute grammar-based programming language for composable language extensions

Language: SystemVerilog - Size: 28.7 MB - Last synced at: 7 days ago - Pushed at: 10 days ago - Stars: 68 - Forks: 7

arainko/ducktape

Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔

Language: Scala - Size: 1.59 MB - Last synced at: 10 days ago - Pushed at: 12 days ago - Stars: 435 - Forks: 8

arainko/chanterelle

chanterelle is a library that provides a map-like DSL over named tuples. Scala 3 only. Some chanterelles are scaly.

Language: Scala - Size: 218 KB - Last synced at: 10 days ago - Pushed at: 12 days ago - Stars: 21 - Forks: 2

SwiftyLab/MetaCodable

Supercharge Swift's Codable implementations with macros meta-programming.

Language: Swift - Size: 83.4 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 749 - Forks: 41

GalerkinToolkit/GalerkinToolkit.jl

High-performance finite element toolbox in Julia

Language: Julia - Size: 73.4 MB - Last synced at: 10 days ago - Pushed at: 12 days ago - Stars: 34 - Forks: 4

racket/rhombus

Rhombus programming language

Language: Racket - Size: 9.54 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 500 - Forks: 73

rainy-juzixiao/rainy-toolkit

只是一个用现代C++随便写写的toolkit...没什么好在意的

Language: C++ - Size: 7.45 MB - Last synced at: 10 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

cjrh/autoslot

Automatic __slots__ for your Python classes

Language: Python - Size: 77.1 KB - Last synced at: 10 days ago - Pushed at: 13 days ago - Stars: 69 - Forks: 6

gabe-rbo/Prolog-Meta-Interpreter

Complete, Correct and Infinite Meta-Circular Prolog metainterpreter that cuts and executes all builtins as desired. This research was developed by my professor José de Siqueira and I at UFMG. Under Publication Process at Theory and Practice of Logic Programming, Cambridge University Press.

Language: Prolog - Size: 20.6 MB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 1 - Forks: 0

Arthi-chaud/reflection

Using Template Haskell to generate faster parsing and serialisation functions

Language: Haskell - Size: 81.1 KB - Last synced at: 11 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

scalalandio/chimney

Scala library for boilerplate-free, type-safe data transformations

Language: Scala - Size: 13.1 MB - Last synced at: 11 days ago - Pushed at: 14 days ago - Stars: 1,238 - Forks: 109

Viskores/viskores

A visualization library for many-threaded devices.

Language: C++ - Size: 38.8 MB - Last synced at: 11 days ago - Pushed at: 14 days ago - Stars: 58 - Forks: 15

braxtons12/hyperion_mpl

C++20 Value-oriented Metaprogramming Library

Language: C++ - Size: 4.41 MB - Last synced at: 12 days ago - Pushed at: 15 days ago - Stars: 25 - Forks: 0

RattleyCooper/PageCraft

HTML templating DSL for Nim. Write HTML like code, with full Nim power. No magic, no runtime, no nonsense.

Language: Nim - Size: 60.5 KB - Last synced at: 12 days ago - Pushed at: 15 days ago - Stars: 5 - Forks: 0

thelilylang/lily

The Lily programming language ⚜

Language: C - Size: 18.2 MB - Last synced at: 12 days ago - Pushed at: 15 days ago - Stars: 11 - Forks: 2

boost-ext/sml

C++14 State Machine library

Language: C++ - Size: 31.9 MB - Last synced at: 12 days ago - Pushed at: 15 days ago - Stars: 1,297 - Forks: 200

KaruroChori/metac

C/C++ compile-time features as they should have been intended

Language: C - Size: 30.3 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

metashade/metashade

An experimental GPU shading DSL embedded in Python.

Language: Python - Size: 512 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 75 - Forks: 3

pyros-projects/wishful

wishful thinking for the vibe code generation

Language: Python - Size: 459 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0

symbola/symbola

Native JavaScript prototype extension with symbol protocols

Language: TypeScript - Size: 519 MB - Last synced at: 9 days ago - Pushed at: 16 days ago - Stars: 14 - Forks: 0

threngthan/algo-viz

Algo Viz is a web-based visualizer for pathfinding, searching, and sorting algorithms, built using React.js. It helps users understand algorithm behavior through interactive, real-time animations and a clean, intuitive UI.

Language: JavaScript - Size: 328 KB - Last synced at: 20 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 2

742Team/storm_meta

Helpers de métaprogrammation, JIT et auto-tuning pour des services Ruby haute performance.

Language: Ruby - Size: 3.91 KB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

nitrate-lang/nitrate

Next-Generation Multi-Paradigm Programming Language with Hyper-Fast Compilation Speeds (In development)

Language: Rust - Size: 21 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 36 - Forks: 11

sanmai/callable-reflection

Get ReflectionFunctionAbstract for any PHP callable - closures, functions, methods, invokables, first-class callables; anything works!

Language: PHP - Size: 18.6 KB - Last synced at: 10 days ago - Pushed at: 16 days ago - Stars: 1 - Forks: 0

enaix/SuperCFG

Context-free-grammar EBNF rules generator

Language: C++ - Size: 2.27 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 10 - Forks: 0

kliu04/explotest

Create Regression Tests from Runtime Arguments

Language: Python - Size: 997 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 3 - Forks: 0

6bee/aqua-core

Transform any object-graph into a dynamic, composed dictionaries like structure, holding serializable values and type information

Language: C# - Size: 2 MB - Last synced at: 13 days ago - Pushed at: 25 days ago - Stars: 23 - Forks: 11

warioddly/dimengen

Flutter Dimensions Generator (it helps you centralize spacing and size values, improve UI consistency, and boost code readability and maintainability)

Language: C++ - Size: 360 KB - Last synced at: 25 days ago - Pushed at: 25 days ago - Stars: 10 - Forks: 2

sjbiaga/pisc

Pi-calculus to Scala transpiler

Language: Scala - Size: 1.15 MB - Last synced at: 11 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0

arrow-kt/arrow-meta

Functional companion to Kotlin's Compiler

Language: Kotlin - Size: 21 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 408 - Forks: 44

d-plaindoux/rust-metaprogrammation

Metaprogramming Rust presentation

Language: Rust - Size: 2.59 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 3 - Forks: 0

fajarnugraha37/metadrama

Metadrama brings aspect-oriented programming and compile-time macros to Bun, Node.js, and Vite projects with an SWC-first transform pipeline.

Language: TypeScript - Size: 206 KB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 0 - Forks: 0

microdee/mcro

A C++23 utilities Unreal Engine plugin, for a more civilized age.

Language: C++ - Size: 12.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 7 - Forks: 0

bkuhlmann/marameters

A dynamic method parameter inspector.

Language: Ruby - Size: 393 KB - Last synced at: 7 days ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 0

google/cpp-async-rpc

Library for Asynchronicity, Serialization and Remoting

Language: C++ - Size: 617 KB - Last synced at: 5 days ago - Pushed at: over 5 years ago - Stars: 76 - Forks: 20

FlorianCassayre/ITLT27-scala-metaprogramming

Metaprogramming in Scala - IT Lightning Talk #27

Language: TeX - Size: 38.1 KB - Last synced at: 13 days ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

ReflectCxx/ReflectionTemplateLibrary-CPP

Powerful C++ runtime reflection with compile-time guarantees — and ZERO performance compromise.

Language: C++ - Size: 76.8 MB - Last synced at: 8 days ago - Pushed at: 10 days ago - Stars: 22 - Forks: 0

cscherrer/Soss.jl

Probabilistic programming via source rewriting

Language: Julia - Size: 5.81 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 422 - Forks: 30

utahplt/chorex

Choreographic programming in Elixir

Language: Elixir - Size: 440 KB - Last synced at: 20 days ago - Pushed at: 3 months ago - Stars: 26 - Forks: 2

hchasestevens/astpath

A command-line search utility for Python ASTs using XPath syntax.

Language: Python - Size: 36.1 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 256 - Forks: 56

willsheffler/rif

Rotamer Interaction Field Python Libraries for Computational Protein Design

Language: C++ - Size: 7.34 MB - Last synced at: about 1 month ago - Pushed at: almost 8 years ago - Stars: 13 - Forks: 10

PragmaTwice/protopuf

Protocol Puffers: A little, highly templated, and protobuf-compatible serialization/deserialization header-only library written in C++20

Language: C++ - Size: 290 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 194 - Forks: 19

Ed94/UnrealGencpp

A C++ stage metaprogramming library setup as a plugin to integrate into Unreal Engine or Unreal Projects.

Language: C++ - Size: 1.18 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

Ed94/gencpp

Staged metaprogramming in C/C++ for C/C++

Language: C++ - Size: 33.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 11 - Forks: 1

Generative-Program-Analysis/GenSym

A high-performance, parallel, compilation-based symbolic execution engine

Language: Java - Size: 22.3 MB - Last synced at: 8 days ago - Pushed at: 11 days ago - Stars: 142 - Forks: 6

coenttb/swift-protocol-mirror

Experimental Swift macro for auto-generating protocols from struct interfaces

Language: Swift - Size: 19.5 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

coderzSSS/kofa

KOFA is a pure kotlin library to quickly build low latency event driven applications

Language: Kotlin - Size: 331 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

brunocodutra/metal

Love template metaprogramming

Language: C++ - Size: 3.52 MB - Last synced at: 11 days ago - Pushed at: over 3 years ago - Stars: 331 - Forks: 24

nshkrdotcom/snakebridge

Configuration-driven Python library integration for Elixir. Automatically generate type-safe Elixir modules from declarative configs with zero wrapper code. Bridge to Python ML ecosystem (DSPy, NumPy, LangChain) with streaming support, bidirectional tools, and compile-time optimization. Built on Snakepit.

Language: Elixir - Size: 311 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

pomponchik/supertime

A living example of superfunctions

Language: Python - Size: 30.3 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

coralkashri/from-a-modern-to-an-unbelievably-modern-cpp

From a Modern to an Unbelievably Modern C++ Talk Presentation

Language: HTML - Size: 3.14 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 6 - Forks: 0

ionathanch/MutualInduction

An experimental mutual induction tactic for Lean 4.

Language: Lean - Size: 168 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 22 - Forks: 1

krzysztofzablocki/Sourcery

Meta-programming for Swift, stop writing boilerplate code.

Language: Swift - Size: 56.1 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 7,934 - Forks: 635

Sven-vh/ImReflect

Reflection-based ImGui wrapper

Language: C++ - Size: 1.31 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 56 - Forks: 1

WendellXY/CodableKit

A Swift macro package designed to simplify the use of Swift's Codable protocol by allowing easy integration of default values, reducing the amount of auxiliary code you need to write.

Language: Swift - Size: 328 KB - Last synced at: 22 days ago - Pushed at: about 2 months ago - Stars: 48 - Forks: 8

finerace/MethodBoundaryAspect.Fody-for-Unity

This is a plugin for static weaving code that integrates MethodBoundaryAspect.Fody into a Unity project using the Loxodon Framework!

Language: C# - Size: 1.79 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

sabiwara/iter

A blazing fast compile-time optimized alternative to the `Enum` and `Stream` modules

Language: Elixir - Size: 69.3 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 70 - Forks: 3

ashvardanian/SmashTable

If only std::set was a DBMS: collection of templated ACID in-memory exception-free thread-safe and concurrent containers in a header-only library

Language: C++ - Size: 182 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 42 - Forks: 4

emfeltham/FormulaCompiler.jl

High‑performance compilation of statistical formulas to zero‑allocation evaluators with FD/AD derivative support, serving as a stable computational foundation for post-estimation analysis and simulation with formula-based linear models in Julia.

Language: Julia - Size: 2.53 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

google/jni-bind

JNI Bind is a set of advanced syntactic sugar for writing efficient correct JNI Code in C++20 and up (or C++17 with clang).

Language: C++ - Size: 2.59 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 302 - Forks: 36

propensive/hyperbole 📦

Assintance with Scala 3 metaprogramming

Language: Scala - Size: 2.12 MB - Last synced at: 9 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

Sajjon/lera

Write ViewModels for SwiftUI and Jetpack Compose only in Rust, powered by Mozilla UniFFI.

Language: Rust - Size: 196 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 0

JasonSteving99/claro-lang

Claro Lang

Language: Java - Size: 7.86 MB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 145 - Forks: 11

codebycruz/constime

Zig's comptime for Rust, with zero dependencies.

Language: Rust - Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 20 - Forks: 0