Pinned Repositories
Pascal2FSharp.Translation
API-Cup-Season1
Medved's AI cup get started!
ASPNWS
edu
ExtEngine
Fenex.Tools
small code base of interesting solutions
FStar
An ML-like language with a type system for program verification
Tehanu
VUnger
Now VUnger can test grammar-term list equialence
articles
Papers sources, pictures, presentations, and other stuff
MallabaevAzamat's Repositories
MallabaevAzamat/API-Cup-Season1
Medved's AI cup get started!
MallabaevAzamat/edu
MallabaevAzamat/ExtEngine
MallabaevAzamat/Fenex.Tools
small code base of interesting solutions
MallabaevAzamat/FStar
An ML-like language with a type system for program verification
MallabaevAzamat/Tehanu
MallabaevAzamat/VUnger
Now VUnger can test grammar-term list equialence
MallabaevAzamat/FerraTerra
MallabaevAzamat/ffgui
MallabaevAzamat/FsLexYacc
Lexer and parser generators for F#
MallabaevAzamat/ithkuil-rus.github.io
Official (future) site for Russian translation of Ithkuil
MallabaevAzamat/nemerle
Nemerle language. Main repository.
MallabaevAzamat/node-html2epub
Convert a bunch of HTML documents into an EPUB
MallabaevAzamat/OfrontPlus
Oberon family of languages to C translator for ARM, x64 and x86 architectures
MallabaevAzamat/ProjectScaffold
A prototypical .NET solution (file system layout and tooling), recommended for F# projects
MallabaevAzamat/sf1e-ru-translation
MallabaevAzamat/shri-2021-task-1
Задание 1. Вёрстка шаблонов Stories — ШРИ, Москва, 2021
MallabaevAzamat/starfinder-1e-ru
MallabaevAzamat/Tehanu.Attributes
MallabaevAzamat/Tehanu.Attributes.Parser
MallabaevAzamat/Tehanu.Core
MallabaevAzamat/Tehanu.FSharp
Модуль Tehanu для трансляции из FSharp
MallabaevAzamat/Tehanu.FSharp.Quote
MallabaevAzamat/Tehanu.FStar.Printer
MallabaevAzamat/Tehanu.Graph
Export source graph to *.dot (*.gv)
MallabaevAzamat/Tehanu.Tests
MallabaevAzamat/Tehanu2
MallabaevAzamat/TypeInfo
MallabaevAzamat/YaccConstructor
Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are included.
MallabaevAzamat/YC_in_Coq
Formalization of some parts of YC