algebraic-dev/vulpi
🦊 | A language that compiles to LLVM and has algebraic effects
{ "createdAt": "2022-12-10T17:28:15Z", "defaultBranch": "main", "description": "🦊 | A language that compiles to LLVM and has algebraic effects", "fullName": "algebraic-dev/vulpi", "homepage": "", "language": "Rust", "name": "vulpi", "pushedAt": "2023-11-26T18:46:57Z", "stargazersCount": 108, "topics": [], "updatedAt": "2025-08-23T19:40:35Z", "url": "https://github.com/algebraic-dev/vulpi"}The Vulpi Compiler
- Lexer
- Layout Parsing
- Escape
- Interpolation
- Parser
- Types
- Algebraic Data Types
- Declaration
- Generalized Version
- Kinds
- Records
- Instance
- Update
- Declaration
- Projection
- Effects
- Declaration
- Handler
- Traits
- Implementation
- Constraint Syntax
- Abstract Data Types
- Type Synonyms
- Tuple
- Algebraic Data Types
- Let declarations
- Let cases
- Patterns
- Record Pattern
- ADT Pattern
- Guards
- Or Pattern
- Blocks
- Modules
- Public / Private things
- Deriving Syntax
- Expressions
- Operators
- Section Patterns
- Function applications In Half
- Pipe and Composition
- Precedence
- Type ascription
- Function Call
- Let Expression
- Lambda Expression
- Do Expression
- When Expression
- If Expression
- Record Expression
- Tuple Expression
- List Expression
- Unit expression
- Operators
- Attributes
- Import
- Types
- Resolution
- Visibility resolution
- Name resolution
- Duplicated pattern name checking
- Or Pattern
- Desugar
- Type checker
- Higher rank polymorphism
- Higher kinded types
- Entailment
- Coverage checker
- Perceus
- LLVM